<dec f='src/src/sys/arch/xen/include/xenpmap.h' l='57' type='void xen_bcast_invlpg(vaddr_t )'/>
<use f='src/src/sys/arch/x86/x86/pmap.c' l='2187' u='c' c='pmap_pdp_dtor'/>
<def f='src/src/sys/arch/xen/x86/x86_xpmap.c' l='394' ll='410' type='void xen_bcast_invlpg(vaddr_t va)'/>
<use f='src/src/sys/arch/xen/x86/x86_xpmap.c' l='486' u='c' c='xen_vcpu_bcast_invlpg'/>
