<dec f='src/src/sys/arch/xen/include/xenpmap.h' l='42' type='void xpq_queue_machphys_update(paddr_t , paddr_t )'/>
<def f='src/src/sys/arch/xen/x86/x86_xpmap.c' l='239' ll='255' type='void xpq_queue_machphys_update(paddr_t ma, paddr_t pa)'/>
<use f='src/src/sys/arch/xen/x86/xen_bus_dma.c' l='135' u='c' c='_xen_alloc_contig'/>
<use f='src/src/sys/arch/xen/x86/xen_bus_dma.c' l='179' u='c' c='_xen_alloc_contig'/>
<use f='src/src/sys/arch/xen/xen/balloon.c' l='517' u='c' c='balloon_deflate'/>
