CTX_PGSZ1_SHIFT
(CTX_PGSZ_BITS << CTX_PGSZ1_SHIFT))
(CTX_PGSZ_BASE << CTX_PGSZ1_SHIFT))
ctx |= CTX_PGSZ_HUGE << CTX_PGSZ1_SHIFT;