U32CS_SEL
CTASSERT(UDS_SEL == U32CS_SEL + 8);
CTASSERT(UCS_SEL == U32CS_SEL + 16);
((uint64_t)(U32CS_SEL << 16 | KCS_SEL)) << 32);
CTASSERT(U32CS_SEL == ((KCS_SEL + 16) | 3));
CTASSERT(UDS_SEL == U32CS_SEL + 8);
fn->f_cs = U32CS_SEL;
case U32CS_SEL:
if ((rp->r_cs & 0xffff) != U32CS_SEL ||
rp->r_cs = U32CS_SEL;
rp->r_cs = U32CS_SEL;