VALID_PSR
KASSERT(VALID_PSR(tf->tf_spsr));
KASSERT(VALID_PSR(lwp_trapframe(l)->tf_spsr));
if (!VALID_PSR(context.sc_spsr))
if (!VALID_PSR(context.sc_spsr))
KASSERT(VALID_PSR(tf->tf_spsr));
KASSERT(VALID_PSR(tf->tf_spsr));
KASSERTMSG(VALID_PSR(gr[_REG_CPSR]), "%#x", gr[_REG_CPSR]);
if (!VALID_PSR(gr[_REG_CPSR]))
KASSERT(VALID_PSR(tf->tf_spsr));
KASSERT(!TRAP_USERMODE(tf) || VALID_PSR(tf->tf_spsr));
KASSERT(!user || VALID_PSR(tf->tf_spsr));
KASSERT(!TRAP_USERMODE(tf) || VALID_PSR(tf->tf_spsr));
KASSERT(!TRAP_USERMODE(tf) || VALID_PSR(tf->tf_spsr));
if (!VALID_PSR(frame.sf_sc.sc_cpsr))