Lines Matching refs:uint32_t

14 typedef uint32_t evtchn_port_t;
62 	uint32_t virq;
63 	uint32_t vcpu;
77 	uint32_t pirq;
79 	uint32_t flags; /* BIND_PIRQ__* */
92 	uint32_t vcpu;
138 	uint32_t status;
139 	uint32_t vcpu;		   /* VCPU to which this channel is bound.   */
148 		uint32_t pirq;	    /* EVTCHNSTAT_pirq	      */
149 		uint32_t virq;	    /* EVTCHNSTAT_virq	      */
167 	uint32_t vcpu;
200 	uint32_t offset;
201 	uint32_t vcpu;
222 	uint32_t port;
223 	uint32_t priority;
227 	uint32_t cmd; /* EVTCHNOP_* */
260 typedef uint32_t event_word_t;
273 	uint32_t     ready;
274 	uint32_t     _rsvd;