Symbol: TTE_IE_INT
usr/src/uts/sun4u/sys/pte.h
183
#define TTE_IE_INT 0x08000000
usr/src/uts/sun4v/sys/pte.h
156
#define TTE_IE_INT 0x00001000