Searched defs:xen_domctl_gdbsx_pauseunp_vcpu (Results 1 – 1 of 1) sorted by relevance
776 struct xen_domctl_gdbsx_pauseunp_vcpu { /* pause/unpause a vcpu */ struct777 uint32_t vcpu; /* which vcpu */