CTXREG_EXT_SHIFT
pgsz_cnum |= (ksfmmup->sfmmu_cext << CTXREG_EXT_SHIFT);
sll arg1, CTXREG_EXT_SHIFT, arg1;
((uint64_t)new_cext_primary << CTXREG_EXT_SHIFT);
((uint64_t)new_cext_primary << CTXREG_EXT_SHIFT);