Lines Matching defs:msrbm
797 uint8_t *msrbm;
2926 memset(cpudata->msrbm, 0xFF, MSRBM_SIZE);
2927 vmx_vcpu_msr_allow(cpudata->msrbm, MSR_EFER, true, true);
2928 vmx_vcpu_msr_allow(cpudata->msrbm, MSR_STAR, true, true);
2929 vmx_vcpu_msr_allow(cpudata->msrbm, MSR_LSTAR, true, true);
2930 vmx_vcpu_msr_allow(cpudata->msrbm, MSR_CSTAR, true, true);
2931 vmx_vcpu_msr_allow(cpudata->msrbm, MSR_SFMASK, true, true);
2932 vmx_vcpu_msr_allow(cpudata->msrbm, MSR_KERNELGSBASE, true, true);
2933 vmx_vcpu_msr_allow(cpudata->msrbm, MSR_SYSENTER_CS, true, true);
2934 vmx_vcpu_msr_allow(cpudata->msrbm, MSR_SYSENTER_ESP, true, true);
2935 vmx_vcpu_msr_allow(cpudata->msrbm, MSR_SYSENTER_EIP, true, true);
2936 vmx_vcpu_msr_allow(cpudata->msrbm, MSR_FSBASE, true, true);
2937 vmx_vcpu_msr_allow(cpudata->msrbm, MSR_GSBASE, true, true);
2938 vmx_vcpu_msr_allow(cpudata->msrbm, MSR_TSC, true, false);
3041 error = vmx_memalloc(&cpudata->msrbm_pa, (vaddr_t *)&cpudata->msrbm,
3064 vmx_memfree(cpudata->msrbm_pa, (vaddr_t)cpudata->msrbm,
3087 vmx_memfree(cpudata->msrbm_pa, (vaddr_t)cpudata->msrbm, MSRBM_NPAGES);