Lines Matching refs:uint32_t
15 typedef uint32_t evtchn_port_t;
63 uint32_t virq;
64 uint32_t vcpu;
78 uint32_t pirq;
80 uint32_t flags; /* BIND_PIRQ__* */
93 uint32_t vcpu;
139 uint32_t status;
140 uint32_t vcpu; /* VCPU to which this channel is bound. */
149 uint32_t pirq; /* EVTCHNSTAT_pirq */
150 uint32_t virq; /* EVTCHNSTAT_virq */
168 uint32_t vcpu;
201 uint32_t offset;
202 uint32_t vcpu;
224 uint32_t priority;
228 uint32_t cmd; /* EVTCHNOP_* */
261 typedef uint32_t event_word_t;
274 uint32_t ready;
275 uint32_t _rsvd;