<dec f='src/src/sys/arch/xen/include/xenpmap.h' l='52' type='void xen_vcpu_mcast_invlpg(vaddr_t , vaddr_t , kcpuset_t * )'/>
<def f='src/src/sys/arch/xen/x86/x86_xpmap.c' l='453' ll='470' type='void xen_vcpu_mcast_invlpg(vaddr_t sva, vaddr_t eva, kcpuset_t * kc)'/>
<doc f='src/src/sys/arch/xen/x86/x86_xpmap.c' l='452'>/* This is a synchronous call. */</doc>
