Symbol: IA32_VMX_BASIC_MEM_TYPE
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c
3367
if (__SHIFTOUT(msr, IA32_VMX_BASIC_MEM_TYPE) != MEM_TYPE_WB) {
src/libs/nvmm/driver/x86/nvmm_x86_vmx.c
3367
if (__SHIFTOUT(msr, IA32_VMX_BASIC_MEM_TYPE) != MEM_TYPE_WB) {