Searched refs:vc_svm_ioio_pa (Results 1 – 2 of 2) sorted by relevance
880 paddr_t vc_svm_ioio_pa; member
1625 vmcb->v_iopm_pa = (uint64_t)(vcpu->vc_svm_ioio_pa); in vcpu_reset_regs_svm()2843 &vcpu->vc_svm_ioio_pa)) { in vcpu_init_svm()2850 (uint64_t)vcpu->vc_svm_ioio_pa); in vcpu_init_svm()