CTX_PGSZ0_SHIFT
#define CTX_PGSZ_MASK ((CTX_PGSZ_BITS << CTX_PGSZ0_SHIFT) | \
((CTX_PGSZ_KERN << CTX_PGSZ0_SHIFT) | \
ctx |= CTX_PGSZ_BASE << CTX_PGSZ0_SHIFT;