Lines Matching refs:uint32_t
38 uint32_t domid;40 uint32_t ref;53 uint32_t count;54 uint32_t pad;75 uint32_t count;76 uint32_t pad;101 uint32_t count;102 uint32_t pad;116 uint32_t count;140 uint32_t action;142 uint32_t event_channel_port;