<dec f='src/src/sys/arch/xen/include/xenpmap.h' l='54' type='void xen_mcast_tlbflush(kcpuset_t * )'/>
<use f='src/src/sys/arch/x86/x86/pmap_tlb.c' l='293' u='c' c='pmap_tlb_processpacket'/>
<def f='src/src/sys/arch/xen/x86/x86_xpmap.c' l='413' ll='432' type='void xen_mcast_tlbflush(kcpuset_t * kc)'/>
<doc f='src/src/sys/arch/xen/x86/x86_xpmap.c' l='412'>/* This is a synchronous call. */</doc>
