Symbol: xen_bcast_invlpg
sys/arch/x86/x86/pmap.c
2835
xen_bcast_invlpg((vaddr_t)object);
sys/arch/xen/include/xenpmap.h
55
void xen_bcast_invlpg(vaddr_t);