Symbol: xen_mcast_invlpg
sys/arch/x86/x86/x86_tlb.c
308
xen_mcast_invlpg(TP_GET_VA(tp, i), target);
sys/arch/xen/include/xenpmap.h
54
void xen_mcast_invlpg(vaddr_t, kcpuset_t *);