Searched defs:vki_xen_domctl_getvcpuinfo (Results 1 – 1 of 1) sorted by relevance
222 struct vki_xen_domctl_getvcpuinfo { struct224 vki_uint32_t vcpu;226 vki_uint8_t online; /* currently online (not hotplugged)? */227 vki_uint8_t blocked; /* blocked waiting for an event? */228 vki_uint8_t running; /* currently scheduled on its CPU? */229 vki_xen_uint64_aligned_t cpu_time;/* total cpu time consumed (ns) */230 vki_uint32_t cpu; /* current mapping */