trap_is_scv
if (trap_is_scv(regs))
return (trap_is_scv(regs) || TRAP(regs) == 0xc00);
if (trap_is_scv(regs))
if (trap_is_scv(regs))
if (trap_is_scv(regs)) {
if (trap_is_scv(regs)) {
if (trap_is_scv(regs))
if (trap_is_scv(regs)) {
if (trap_is_scv(regs)) {