Symbol: xpq_queue_pin_l4_table
sys/arch/x86/x86/pmap.c
1350
xpq_queue_pin_l4_table(xpmap_ptom_masked(xen_dummy_user_pgd));
sys/arch/x86/x86/pmap.c
2797
xpq_queue_pin_l4_table(xpmap_ptom_masked(pdirpa));
sys/arch/xen/x86/cpu.c
1245
xpq_queue_pin_l4_table(xpmap_ptom_masked(ci->ci_kpm_pdirpa));
sys/arch/xen/x86/x86_xpmap.c
874
xpq_queue_pin_l4_table(xpmap_ptom_masked(new_pgd - KERNBASE));