Searched refs:GUEST_IA32_DEBUGCTL (Results 1 – 9 of 9) sorted by relevance
411 vmcs_write64(GUEST_IA32_DEBUGCTL, val); in vmx_guest_debugctl_write()416 return vmcs_read64(GUEST_IA32_DEBUGCTL) & ~VMX_HOST_OWNED_DEBUGCTL_BITS; in vmx_guest_debugctl_read()421 u64 val = vmcs_read64(GUEST_IA32_DEBUGCTL); in vmx_reload_guest_debugctl()
71 EVMCS1_FIELD(GUEST_IA32_DEBUGCTL, guest_ia32_debugctl,
57 FIELD64(GUEST_IA32_DEBUGCTL, guest_ia32_debugctl),
6653 vmcs_read64(GUEST_IA32_DEBUGCTL), in dump_vmcs()
170 GUEST_IA32_DEBUGCTL = 0x00002802, enumerator
360 case GUEST_IA32_DEBUGCTL: in evmcs_vmread()786 case GUEST_IA32_DEBUGCTL: in evmcs_vmwrite()
314 vmwrite(GUEST_IA32_DEBUGCTL, 0); in init_vmcs_guest_state()
270 GUEST_IA32_DEBUGCTL = 0x00002802, enumerator
8548 check for GUEST_IA32_DEBUGCTL in vmcs12