Searched refs:VMCS_MSR_BITMAP (Results 1 – 3 of 3) sorted by relevance
96 #define VMCS_MSR_BITMAP 0x00002004 macro
841 vmcs_write(VMCS_MSR_BITMAP, msr_bitmap_pa); in vmx_vminit()
2063 error = vm_get_vmcs_field(vcpu, VMCS_MSR_BITMAP, in main()