Searched refs:msr_image (Results 1 – 1 of 1) sorted by relevance
97 uint64_t msr_image; in vmx_enable() local107 msr_image = rdmsr64(MSR_IA32_FEATURE_CONTROL); in vmx_enable()108 if (0 == ((msr_image & MSR_IA32_FEATCTL_LOCK))) { in vmx_enable()110 (msr_image | in vmx_enable()