Symbol: TTE_SET_INVALID
usr/src/uts/sun4u/sys/pte.h
287
#define TTE_SET_INVALID(ttep) ((ttep)->tte_val = 0)
usr/src/uts/sun4v/sys/pte.h
242
#define TTE_SET_INVALID(ttep) ((ttep)->tte_val = 0)