NVMM_X64_MSR_EFER
is_lng = (state->msrs[NVMM_X64_MSR_EFER] & EFER_LMA) != 0;
return (state->msrs[NVMM_X64_MSR_EFER] & EFER_LMA) != 0;
printf("| -> MSR_EFER=%"PRIx64"\n", state->msrs[NVMM_X64_MSR_EFER]);
[NVMM_X64_MSR_EFER] = 0x00000000,
state->msrs[NVMM_X64_MSR_EFER]) & EFER_TLB_FLUSH) {
vmcb->state.efer = state->msrs[NVMM_X64_MSR_EFER] | EFER_SVME;
state->msrs[NVMM_X64_MSR_EFER] = vmcb->state.efer;
state->msrs[NVMM_X64_MSR_EFER] &= ~EFER_SVME;
state->msrs[NVMM_X64_MSR_EFER]) & EFER_TLB_FLUSH) {
state->msrs[NVMM_X64_MSR_EFER]);
if (state->msrs[NVMM_X64_MSR_EFER] & EFER_LMA) {
state->msrs[NVMM_X64_MSR_EFER] =
state->msrs[NVMM_X64_MSR_EFER] = EFER_LME | EFER_SCE | EFER_LMA;
state->msrs[NVMM_X64_MSR_EFER] = EFER_LME | EFER_SCE | EFER_LMA;