Searched refs:vc_vmx_msr_exit_load_va (Results 1 – 2 of 2) sorted by relevance
863 vaddr_t vc_vmx_msr_exit_load_va; member
2318 msr_store = (struct vmx_msr_store *)vcpu->vc_vmx_msr_exit_load_va; in vcpu_reset_regs_vmx()2543 vcpu->vc_vmx_msr_exit_load_va = (vaddr_t)km_alloc(PAGE_SIZE, &kv_page, in vcpu_init_vmx()2546 if (!vcpu->vc_vmx_msr_exit_load_va) { in vcpu_init_vmx()2552 if (!pmap_extract(pmap_kernel(), vcpu->vc_vmx_msr_exit_load_va, in vcpu_init_vmx()2918 if (vcpu->vc_vmx_msr_exit_load_va) { in vcpu_deinit_vmx()2919 km_free((void *)vcpu->vc_vmx_msr_exit_load_va, in vcpu_deinit_vmx()2921 vcpu->vc_vmx_msr_exit_load_va = 0; in vcpu_deinit_vmx()3658 msr_store = (struct vmx_msr_store *)vcpu->vc_vmx_msr_exit_load_va; in vcpu_run_vmx()