Home
last modified time | relevance | path

Searched refs:VMCS_GUEST_IA32_DEBUGCTL (Results 1 – 2 of 2) sorted by relevance

/openbsd/sys/arch/amd64/include/
H A Dspecialreg.h1286 #define VMCS_GUEST_IA32_DEBUGCTL 0x2802 macro
/openbsd/sys/arch/amd64/amd64/
H A Dvmm_machdep.c7145 vmx_dump_vmcs_field(VMCS_GUEST_IA32_DEBUGCTL, "Guest DEBUGCTL"); in vmx_dump_vmcs()