Symbol: xen_gflush_tlb
usr/src/uts/i86pc/vm/hat_i86.c
2632
xen_gflush_tlb(cpus_to_shootdown);
usr/src/uts/i86pc/vm/htable.h
310
extern void xen_gflush_tlb(cpuset_t);