Searched refs:unmap_domain_page_global (Results 1 – 13 of 13) sorted by relevance
45 void unmap_domain_page_global(const void *va);71 static inline void unmap_domain_page_global(const void *va) {}; in unmap_domain_page_global() function
321 void unmap_domain_page_global(const void *ptr) in unmap_domain_page_global() function
1950 unmap_domain_page_global(d->arch.pirq_eoi_map); in domain_relinquish_resources()
394 unmap_domain_page_global(virt); in unmap_guest_page()
1242 unmap_domain_page_global((void *) in unmap_vcpu_info()
1465 unmap_domain_page_global(va); in destroy_ring_for_helper()
679 unmap_domain_page_global(xenpmu_data); in pvpmu_finish()
345 unmap_domain_page_global(d->arch.pirq_eoi_map); in pv_shim_shutdown()
432 unmap_domain_page_global(va); in teardown_vp_assist()
1608 unmap_domain_page_global(vlapic->regs); in vlapic_destroy()
2652 unmap_domain_page_global(p); in hvm_unmap_guest_frame()
389 void unmap_domain_page_global(const void *va) in unmap_domain_page_global() function
3905 unmap_domain_page_global(v->arch.paging.shadow.guest_vtable); in sh_detach_old_tables()4076 unmap_domain_page_global(v->arch.paging.shadow.guest_vtable); in sh_update_cr3()4109 unmap_domain_page_global(v->arch.paging.shadow.guest_vtable); in sh_update_cr3()
Completed in 39 milliseconds