Searched refs:msr_bitmap_pa (Results 1 – 1 of 1) sorted by relevance
786 vm_paddr_t msr_bitmap_pa = vtophys(vmx->msr_bitmap[i]); in vmx_vminit() local841 vmcs_write(VMCS_MSR_BITMAP, msr_bitmap_pa); in vmx_vminit()