ALPHA_PSL_USERMODE
user = (framep->tf_regs[FRAME_PS] & ALPHA_PSL_USERMODE) != 0;
if ((framep->tf_regs[FRAME_PS] & ALPHA_PSL_USERMODE) == 0)
#define ALPHA_PSL_USERSET ALPHA_PSL_USERMODE
(((framep)->cf_tf.tf_regs[FRAME_PS] & ALPHA_PSL_USERMODE) != 0)