Searched refs:free_page (Results 1 – 7 of 7) sorted by relevance
217 void (*free_page)(struct domain *d, struct page_info *pg); member
433 free_page((void*)pages[pfn]); in kexec()
600 ASSERT(p2m->domain->arch.paging.free_page); in p2m_free_ptp()603 p2m->domain->arch.paging.free_page(p2m->domain, pg); in p2m_free_ptp()689 d->arch.paging.free_page(d, pg); in p2m_teardown()1771 d->arch.paging.free_page(d, pg); in p2m_flush_table_locked()
113 d->arch.paging.free_page(d, mfn_to_page(mfn)); in paging_free_log_dirty_page()
471 d->arch.paging.free_page = hap_free_p2m_page; in hap_enable()
3104 d->arch.paging.free_page = shadow_free_p2m_page; in shadow_enable()3358 d->arch.paging.free_page = shadow_free_p2m_page; in shadow_one_bit_enable()
1469 v->domain->arch.paging.free_page(v->domain, v->arch.hvm_vmx.pml_pg); in vmx_vcpu_disable_pml()
Completed in 23 milliseconds