HV_PGSZ_MASK_16GB
HV_PGSZ_MASK_16GB) &
if (cpu_pgsz_mask & HV_PGSZ_MASK_16GB) {
hv_pgsz_mask = HV_PGSZ_MASK_16GB;