Searched defs:vcpu_id (Results 1 – 6 of 6) sorted by relevance
112 uint32_t vcpu_id; member
80 uint32_t vcpu_id; member
333 uint32_t vcpu_id; member
731 uint32_t vcpu_id; /* any vcpu in an event? */ member
580 unsigned int vcpu_id; member
219 uint32_t vcpu_id; member