Symbol: xen_gflush_va
usr/src/uts/i86pc/vm/hat_i86.c
2636
xen_gflush_va((caddr_t)(range.tr_va + i),
usr/src/uts/i86pc/vm/htable.h
308
extern void xen_gflush_va(caddr_t va, cpuset_t);