<dec f='src/src/sys/arch/xen/include/xenpmap.h' l='49' type='void xpq_queue_pin_table(paddr_t , int )'/>
<use f='src/src/sys/arch/x86/x86/pmap.c' l='1409' macro='1' u='c'/>
<use f='src/src/sys/arch/x86/x86/pmap.c' l='2146' macro='1' u='c'/>
<use f='src/src/sys/arch/xen/x86/cpu.c' l='1266' macro='1' u='c'/>
<def f='src/src/sys/arch/xen/x86/x86_xpmap.c' l='287' ll='302' type='void xpq_queue_pin_table(paddr_t pa, int lvl)'/>
<use f='src/src/sys/arch/xen/x86/x86_xpmap.c' l='996' macro='1' u='c'/>
