Symbol: xen_flush_tlb
usr/src/uts/i86pc/vm/hat_i86.c
2556
xen_flush_tlb();
usr/src/uts/i86pc/vm/hat_i86.c
2616
xen_flush_tlb();
usr/src/uts/i86pc/vm/hat_i86.c
2963
xen_flush_tlb();
usr/src/uts/i86pc/vm/htable.h
309
extern void xen_flush_tlb(void);