Symbol: TTE_WRPRM_INT
usr/src/uts/sun4u/sys/pte.h
190
#define TTE_WRPRM_INT 0x00000200
usr/src/uts/sun4v/sys/pte.h
164
#define TTE_WRPRM_INT 0x00000010