VALID_USER_CSEL32
if (!VALID_USER_CSEL32(scp->sc_cs))
if (!VALID_USER_CSEL32(gr[_REG32_CS]))
if (!VALID_USER_CSEL32(regs->r_cs))