CTX_PGSZ_BASE
(CTX_PGSZ_BASE << CTX_PGSZ1_NUC_SHIFT))
(CTX_PGSZ_BASE << CTX_PGSZ1_SHIFT))
ctx |= CTX_PGSZ_BASE << CTX_PGSZ0_SHIFT;