IPL_TTY
#define IPL_TTY ALPHA_PSL_IPL_IO
#define IPL_TTY 0x9 /* terminal */
#define IPL_TTY 7 /* terminal */
#define IPL_TTY 7 /* terminal */
#define IPL_TTY 6
#define IPL_TTY MAKEIPL(6) /* terminal */
#define IPL_TTY 12 /* terminal */
#define IPL_TTY 6 /* terminal */
#define IPL_TTY 5
#define IPL_TTY 6 /* terminal */
#define IPL_TTY 7
#define IPL_TTY 7
#define IPL_TTY 7 /* terminal */
#define IPL_TTY PIL_TTY /* terminal */