Searched refs:gdbsx_vcpu_event (Results 1 – 6 of 6) sorted by relevance
79 current->arch.gdbsx_vcpu_event = vector; in debugger_trap_entry()
575 uint32_t gdbsx_vcpu_event; member
1077 if ( v->arch.gdbsx_vcpu_event ) in arch_do_domctl()1081 v->arch.gdbsx_vcpu_event; in arch_do_domctl()1082 v->arch.gdbsx_vcpu_event = 0; in arch_do_domctl()
796 if ( curr->arch.gdbsx_vcpu_event == 0 ) in domain_pause_for_debugger()
2625 current->arch.gdbsx_vcpu_event = TRAP_int3; in svm_vmexit_handler()
3746 v->arch.gdbsx_vcpu_event = TRAP_int3; in vmx_vmexit_handler()
Completed in 21 milliseconds