<dec f='src/src/sys/arch/xen/include/xenpmap.h' l='56' type='void xen_mcast_invlpg(vaddr_t , kcpuset_t * )'/>
<use f='src/src/sys/arch/x86/x86/pmap_tlb.c' l='290' u='c' c='pmap_tlb_processpacket'/>
<def f='src/src/sys/arch/xen/x86/x86_xpmap.c' l='372' ll='392' type='void xen_mcast_invlpg(vaddr_t va, kcpuset_t * kc)'/>
<use f='src/src/sys/arch/xen/x86/x86_xpmap.c' l='466' u='c' c='xen_vcpu_mcast_invlpg'/>
