Searched refs:GUEST_PENDING_DBG_EXCEPTIONS (Results 1 – 4 of 4) sorted by relevance
512 GUEST_PENDING_DBG_EXCEPTIONS = 0x00006822, enumerator
3898 __vmread(GUEST_PENDING_DBG_EXCEPTIONS, &pending_dbg); in vmx_vmexit_handler()3899 __vmwrite(GUEST_PENDING_DBG_EXCEPTIONS, in vmx_vmexit_handler()
2021 vmr(GUEST_IA32_DEBUGCTL), vmr(GUEST_PENDING_DBG_EXCEPTIONS)); in vmcs_dump_vcpu()
933 GUEST_PENDING_DBG_EXCEPTIONS,
Completed in 20 milliseconds