<dec f='src/src/sys/arch/xen/include/xenpmap.h' l='53' type='void xen_vcpu_bcast_invlpg(vaddr_t , vaddr_t )'/>
<def f='src/src/sys/arch/xen/x86/x86_xpmap.c' l='473' ll='490' type='void xen_vcpu_bcast_invlpg(vaddr_t sva, vaddr_t eva)'/>
<doc f='src/src/sys/arch/xen/x86/x86_xpmap.c' l='472'>/* This is a synchronous call. */</doc>
