Searched refs:vc_msr_bitmap_pa (Results 1 – 2 of 2) sorted by relevance
814 uint64_t vc_msr_bitmap_pa; /* [I] */ member
1629 vmcb->v_msrpm_pa = (uint64_t)(vcpu->vc_msr_bitmap_pa); in vcpu_reset_regs_svm()2411 vcpu->vc_msr_bitmap_pa)) { in vcpu_reset_regs_vmx()2537 (paddr_t *)&vcpu->vc_msr_bitmap_pa)) { in vcpu_init_vmx()2803 (paddr_t *)&vcpu->vc_msr_bitmap_pa)) { in vcpu_init_svm()2810 (uint64_t)vcpu->vc_msr_bitmap_pa); in vcpu_init_svm()