Searched refs:MSR_BITMAP (Results 1 – 2 of 2) sorted by relevance
139 MSR_BITMAP = 0x00002004, enumerator
722 FIELD64(MSR_BITMAP, msr_bitmap),5018 vmcs_write64(MSR_BITMAP, __pa(vmx->vmcs01.msr_bitmap)); in vmx_vcpu_setup()9358 if (vmcs12_read_any(vcpu, MSR_BITMAP, &addr)) { in nested_vmx_check_msr_bitmap_controls()9921 vmcs_write64(MSR_BITMAP, __pa(vmx->nested.vmcs02.msr_bitmap)); in prepare_vmcs02()