<def f='src/src/sys/arch/xen/include/xenpmap.h' l='114' ll='118' type='void xpmap_ptom_unmap(paddr_t ppa)'/>
<use f='src/src/sys/arch/xen/x86/xen_bus_dma.c' l='93' u='c' c='_xen_alloc_contig'/>
<use f='src/src/sys/arch/xen/xen/balloon.c' l='401' u='c' c='balloon_inflate'/>
<use f='src/src/sys/arch/xen/xen/if_xennet_xenbus.c' l='736' u='c' c='xennet_alloc_rx_buffer'/>
