Searched refs:gdbsx_vcpu_event (Results 1 – 6 of 6) sorted by relevance
69 current->arch.gdbsx_vcpu_event = vector; in debugger_trap_entry()
635 uint32_t gdbsx_vcpu_event; member
997 if ( v->arch.gdbsx_vcpu_event ) in arch_do_domctl()1001 v->arch.gdbsx_vcpu_event; in arch_do_domctl()1002 v->arch.gdbsx_vcpu_event = 0; in arch_do_domctl()
2290 if ( curr->arch.gdbsx_vcpu_event == 0 ) in domain_pause_for_debugger()
2663 current->arch.gdbsx_vcpu_event = TRAP_int3; in svm_vmexit_handler()
3947 v->arch.gdbsx_vcpu_event = TRAP_int3; in vmx_vmexit_handler()
Completed in 23 milliseconds