vmx_vcpu_msr_allow
vmx_vcpu_msr_allow(cpudata->msrbm, MSR_EFER, true, true);
vmx_vcpu_msr_allow(cpudata->msrbm, MSR_STAR, true, true);
vmx_vcpu_msr_allow(cpudata->msrbm, MSR_LSTAR, true, true);
vmx_vcpu_msr_allow(cpudata->msrbm, MSR_CSTAR, true, true);
vmx_vcpu_msr_allow(cpudata->msrbm, MSR_SFMASK, true, true);
vmx_vcpu_msr_allow(cpudata->msrbm, MSR_KERNELGSBASE, true, true);
vmx_vcpu_msr_allow(cpudata->msrbm, MSR_SYSENTER_CS, true, true);
vmx_vcpu_msr_allow(cpudata->msrbm, MSR_SYSENTER_ESP, true, true);
vmx_vcpu_msr_allow(cpudata->msrbm, MSR_SYSENTER_EIP, true, true);
vmx_vcpu_msr_allow(cpudata->msrbm, MSR_FSBASE, true, true);
vmx_vcpu_msr_allow(cpudata->msrbm, MSR_GSBASE, true, true);
vmx_vcpu_msr_allow(cpudata->msrbm, MSR_TSC, true, false);