Searched refs:GUEST_IA32_DEBUGCTL (Results 1 – 5 of 5) sorted by relevance
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()
6554 vmcs_read64(GUEST_IA32_DEBUGCTL), in dump_vmcs()
8550 check for GUEST_IA32_DEBUGCTL in vmcs12