Symbol: xpq_queue_unpin_table
sys/arch/x86/x86/pmap.c
2828
xpq_queue_unpin_table(xpmap_ptom_masked(pdirpa));
sys/arch/xen/include/xenpmap.h
50
void xpq_queue_unpin_table(paddr_t);
sys/arch/xen/x86/x86_xpmap.c
913
xpq_queue_unpin_table(xpmap_ptom_masked(old_pgd - KERNBASE));