Searched refs:VMX_BASIC_32BIT_ADDRESSES (Results 1 – 2 of 2) sorted by relevance
339 #define VMX_BASIC_32BIT_ADDRESSES (1ULL << 48) macro
472 if ( vmx_basic_msr_high & (VMX_BASIC_32BIT_ADDRESSES >> 32) ) in vmx_init_vmcs_config()
Completed in 7 milliseconds