Home
last modified time | relevance | path

Searched refs:GUEST_IA32_DEBUGCTL (Results 1 – 5 of 5) sorted by relevance

/xen/xen/include/asm-x86/hvm/vmx/
A Dvmcs.h424 GUEST_IA32_DEBUGCTL = 0x00002802, enumerator
/xen/xen/arch/x86/cpu/
A Dvpmu_intel.c800 __vmread(GUEST_IA32_DEBUGCTL, &msr_content); in core2_vpmu_do_interrupt()
/xen/xen/arch/x86/hvm/vmx/
A Dvmx.c1798 __vmread(GUEST_IA32_DEBUGCTL, &val); in vmx_inject_event()
1799 __vmwrite(GUEST_IA32_DEBUGCTL, val & ~IA32_DEBUGCTLMSR_LBR); in vmx_inject_event()
2992 __vmread(GUEST_IA32_DEBUGCTL, msr_content); in vmx_msr_read_intercept()
3307 __vmwrite(GUEST_IA32_DEBUGCTL, msr_content); in vmx_msr_write_intercept()
A Dvmcs.c2021 vmr(GUEST_IA32_DEBUGCTL), vmr(GUEST_PENDING_DBG_EXCEPTIONS)); in vmcs_dump_vcpu()
A Dvvmx.c888 GUEST_IA32_DEBUGCTL,

Completed in 20 milliseconds