Searched refs:xpq_queue_unpin_table (Results 1 – 3 of 3) sorted by relevance
50 void xpq_queue_unpin_table(paddr_t);
280 xpq_queue_unpin_table(paddr_t pa) in xpq_queue_unpin_table() function913 xpq_queue_unpin_table(xpmap_ptom_masked(old_pgd - KERNBASE)); in xen_bootstrap_tables()
2828 xpq_queue_unpin_table(xpmap_ptom_masked(pdirpa));