Searched refs:GUEST_IA32_DEBUGCTL (Results 1 – 5 of 5) sorted by relevance
407 GUEST_IA32_DEBUGCTL = 0x00002802, enumerator
822 __vmread(GUEST_IA32_DEBUGCTL, &msr_content); in core2_vpmu_do_interrupt()
1847 __vmread(GUEST_IA32_DEBUGCTL, &val); in vmx_inject_event()1848 __vmwrite(GUEST_IA32_DEBUGCTL, val & ~IA32_DEBUGCTLMSR_LBR); in vmx_inject_event()2902 __vmread(GUEST_IA32_DEBUGCTL, msr_content); in vmx_msr_read_intercept()3133 __vmwrite(GUEST_IA32_DEBUGCTL, msr_content); in vmx_msr_write_intercept()
1830 vmr(GUEST_IA32_DEBUGCTL), vmr(GUEST_PENDING_DBG_EXCEPTIONS)); in vmcs_dump_vcpu()
855 GUEST_IA32_DEBUGCTL,
Completed in 21 milliseconds