Symbol: xen_mcast_tlbflush
sys/arch/x86/x86/x86_tlb.c
311
xen_mcast_tlbflush(target);
sys/arch/xen/include/xenpmap.h
52
void xen_mcast_tlbflush(kcpuset_t *);