Symbol: xen_flush_va
usr/src/uts/i86pc/vm/hat_i86.c
2560
xen_flush_va((caddr_t)(range.tr_va + i));
usr/src/uts/i86pc/vm/hat_i86.c
2620
xen_flush_va((caddr_t)(range.tr_va + i));
usr/src/uts/i86pc/vm/hat_i86.c
2970
xen_flush_va(va);
usr/src/uts/i86pc/vm/htable.c
2102
xen_flush_va((caddr_t)addr);
usr/src/uts/i86pc/vm/htable.h
307
extern void xen_flush_va(caddr_t va);