Symbol: TTE_VALID_INT
usr/src/uts/sun4u/sys/pte.h
180
#define TTE_VALID_INT 0x80000000
usr/src/uts/sun4v/sys/pte.h
149
#define TTE_VALID_INT 0x80000000