Symbol: vtag_flushall_uctxs
usr/src/uts/sfmmu/vm/hat_sfmmu.c
9736
if (&vtag_flushall_uctxs != NULL) {
usr/src/uts/sfmmu/vm/hat_sfmmu.c
9737
vtag_flushall_uctxs();
usr/src/uts/sun4u/sys/cpu_module.h
80
void vtag_flushall_uctxs(void);
usr/src/uts/sun4v/sys/cpu_module.h
78
void vtag_flushall_uctxs(void);