Searched refs:MSR_IA32_VMX_BASIC_ADDR_WIDTH (Results 1 – 2 of 2) sorted by relevance
600 #define MSR_IA32_VMX_BASIC_ADDR_WIDTH (1UL << 48U) macro
284 return ((msr_read(MSR_IA32_VMX_BASIC) & MSR_IA32_VMX_BASIC_ADDR_WIDTH) != 0UL); in pcpu_vmx_set_32bit_addr_width()
Completed in 7 milliseconds