Symbol: xpq_queue_pt_switch
sys/arch/xen/include/xenpmap.h
45
void xpq_queue_pt_switch(paddr_t);
sys/arch/xen/x86/x86_xpmap.c
887
xpq_queue_pt_switch(xpmap_ptom_masked(new_pgd - KERNBASE));
sys/arch/xen/x86/xenfunc.c
149
xpq_queue_pt_switch(xpmap_ptom_masked(val));