Searched defs:xen_domctl_gdbsx_domstatus (Results 1 – 1 of 1) sorted by relevance
781 struct xen_domctl_gdbsx_domstatus { struct783 uint8_t paused; /* is the domain paused */784 uint32_t vcpu_id; /* any vcpu in an event? */785 uint32_t vcpu_ev; /* if yes, what event? */