Searched refs:vc_msr_bitmap_va (Results 1 – 2 of 2) sorted by relevance
1703 msrs = (uint8_t *)vcpu->vc_msr_bitmap_va; in svm_setmsrbr()1744 msrs = (uint8_t *)vcpu->vc_msr_bitmap_va; in svm_setmsrbw()1801 msrs = (uint8_t *)vcpu->vc_msr_bitmap_va; in vmx_setmsrbr()1833 msrs = (uint8_t *)vcpu->vc_msr_bitmap_va; in vmx_setmsrbw()2530 if (!vcpu->vc_msr_bitmap_va) { in vcpu_init_vmx()2536 if (!pmap_extract(pmap_kernel(), vcpu->vc_msr_bitmap_va, in vcpu_init_vmx()2796 if (!vcpu->vc_msr_bitmap_va) { in vcpu_init_svm()2802 if (!pmap_extract(pmap_kernel(), vcpu->vc_msr_bitmap_va, in vcpu_init_svm()2809 (uint64_t)vcpu->vc_msr_bitmap_va, in vcpu_init_svm()2950 if (vcpu->vc_msr_bitmap_va) { in vcpu_deinit_svm()[all …]
813 vaddr_t vc_msr_bitmap_va; /* [I] */ member