Searched refs:nv_n2vmcx_pa (Results 1 – 3 of 3) sorted by relevance
109 paddr_t nv_n2vmcx_pa; /* host physical address of nv_n2vmcx */ member
88 nvcpu->nv_n2vmcx_pa = page_to_maddr(pg); in nvmx_vcpu_initialise()167 if ( nvcpu->nv_n2vmcx_pa ) in nvmx_vcpu_destroy()169 __vmpclear(nvcpu->nv_n2vmcx_pa); in nvmx_vcpu_destroy()170 free_domheap_page(maddr_to_page(nvcpu->nv_n2vmcx_pa)); in nvmx_vcpu_destroy()171 nvcpu->nv_n2vmcx_pa = 0; in nvmx_vcpu_destroy()777 if ( nvcpu->nv_n2vmcx_pa ) in __clear_current_vvmcs()778 __vmpclear(nvcpu->nv_n2vmcx_pa); in __clear_current_vvmcs()1207 vmx_vmcs_switch(v->arch.hvm.vmx.vmcs_pa, nvcpu->nv_n2vmcx_pa); in virtual_vmentry()1583 copy_domain_page(_mfn(PFN_DOWN(nvcpu->nv_n2vmcx_pa)), in nvmx_handle_vmxon()
119 nv->nv_n2vmcx_pa = virt_to_maddr(nv->nv_n2vmcx); in nsvm_vcpu_initialise()157 nv->nv_n2vmcx_pa = INVALID_PADDR; in nsvm_vcpu_destroy()691 ASSERT(nv->nv_n2vmcx_pa != INVALID_PADDR); in nsvm_vcpu_vmentry()725 v->arch.hvm.svm.vmcb_pa = nv->nv_n2vmcx_pa; in nsvm_vcpu_vmentry()1511 ASSERT(nv->nv_n2vmcx_pa != INVALID_PADDR); in nsvm_vcpu_switch()
Completed in 10 milliseconds