arch/x86_64/vmx_checks.c

946         uint64_t host_efer;
947 	err += vmread(VMX_HOST_EFER_F, &host_efer);
951 	assert(((host_efer >> 1) & 0x7F) == 0);
953 	assert(((host_efer >> 9) & 0x1) == 0);
955 	assert((host_efer & ~0xFFF) == 0);
958 	bool lma_set = !!(host_efer & EFER_LMA);
961 	bool lme_set = !!(host_efer & EFER_LME);
1184     uint64_t host_efer;
1185     err += vmread(VMX_HOST_EFER_F, &host_efer);
1188     if (host_efer & EFER_LMA) {