HV_PGSZ_MASK_8K
val = (HV_PGSZ_MASK_8K | HV_PGSZ_MASK_64K |
ktsb_descr[0].pgsz_mask = HV_PGSZ_MASK_8K;
cpu_pgsz_mask = (HV_PGSZ_MASK_8K | HV_PGSZ_MASK_64K |
#define HV_PGSZ_MASK_BASE HV_PGSZ_MASK_8K