Searched refs:gdbsx_domstatus (Results 1 – 3 of 3) sorted by relevance
1071 domctl->u.gdbsx_domstatus.vcpu_id = -1; in arch_do_domctl()1072 domctl->u.gdbsx_domstatus.paused = d->controller_pause_count > 0; in arch_do_domctl()1073 if ( domctl->u.gdbsx_domstatus.paused ) in arch_do_domctl()1079 domctl->u.gdbsx_domstatus.vcpu_id = v->vcpu_id; in arch_do_domctl()1080 domctl->u.gdbsx_domstatus.vcpu_ev = in arch_do_domctl()
1245 struct xen_domctl_gdbsx_domstatus gdbsx_domstatus; member
480 return domctl.u.gdbsx_domstatus.vcpu_id; in _vcpu_in_bp()
Completed in 11 milliseconds