Symbol: TTE_SET_INVALID
usr/src/uts/sfmmu/vm/hat_sfmmu.c
5996
TTE_SET_INVALID(&ttemod);
usr/src/uts/sfmmu/vm/hat_sfmmu.c
7187
TTE_SET_INVALID(&ttemod);