FRAME_PS
{ "ps", &ddb_regs.tf_regs[FRAME_PS], FCN_NULL },
ksc.sc_ps = frame->tf_regs[FRAME_PS];
p->p_md.md_tf->tf_regs[FRAME_PS] =
tfp->tf_regs[FRAME_PS] = ALPHA_PSL_USERSET;
framep->tf_regs[FRAME_PS] = p->pcs_halt_ps;
user = (framep->tf_regs[FRAME_PS] & ALPHA_PSL_USERMODE) != 0;
if ((framep->tf_regs[FRAME_PS] & ALPHA_PSL_USERMODE) == 0)
(((framep)->cf_tf.tf_regs[FRAME_PS] & ALPHA_PSL_USERMODE) != 0)