clear_atomic_switch_msr
clear_atomic_switch_msr(vmx, MSR_EFER);
clear_atomic_switch_msr(vmx, msrs[i].msr);