CTXREG_NEXT_SHIFT
srlx reg2, CTXREG_NEXT_SHIFT, reg2; \
kcontextreg = ((uint64_t)new_cext_nucleus << CTXREG_NEXT_SHIFT) |
kcontextreg = ((uint64_t)new_cext_nucleus << CTXREG_NEXT_SHIFT) |
srlx scr1, CTXREG_NEXT_SHIFT, scr1; \