Searched refs:nv_n2vmcx_pa (Results 1 – 3 of 3) sorted by relevance
108 paddr_t nv_n2vmcx_pa; /* host physical address of nv_n2vmcx */ member
71 nvcpu->nv_n2vmcx_pa = page_to_maddr(pg); in nvmx_vcpu_initialise()143 if ( nvcpu->nv_n2vmcx_pa ) in nvmx_vcpu_destroy()145 __vmpclear(nvcpu->nv_n2vmcx_pa); in nvmx_vcpu_destroy()146 free_domheap_page(maddr_to_page(nvcpu->nv_n2vmcx_pa)); in nvmx_vcpu_destroy()147 nvcpu->nv_n2vmcx_pa = 0; in nvmx_vcpu_destroy()754 if ( nvcpu->nv_n2vmcx_pa ) in __clear_current_vvmcs()755 __vmpclear(nvcpu->nv_n2vmcx_pa); in __clear_current_vvmcs()1163 vmx_vmcs_switch(v->arch.hvm_vmx.vmcs_pa, nvcpu->nv_n2vmcx_pa); in virtual_vmentry()1513 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()700 ASSERT(nv->nv_n2vmcx_pa != INVALID_PADDR); in nsvm_vcpu_vmentry()734 v->arch.hvm_svm.vmcb_pa = nv->nv_n2vmcx_pa; in nsvm_vcpu_vmentry()1519 ASSERT(nv->nv_n2vmcx_pa != INVALID_PADDR); in nsvm_vcpu_switch()
Completed in 10 milliseconds