Searched refs:IA32_VMX_CR4_FIXED1 (Results 1 – 2 of 2) sorted by relevance
| /openbsd/sys/arch/amd64/include/ | ||
| H A D | specialreg.h | 1120 #define IA32_VMX_CR4_FIXED1 0x489 macro |
| /openbsd/sys/arch/amd64/amd64/ | ||
| H A D | identcpu.c | 971 msr = rdmsr(IA32_VMX_CR4_FIXED1); in cpu_check_vmm_cap() |