sfmmu_reprog_pgsz_arr
extern void sfmmu_reprog_pgsz_arr(sfmmu_t *, uint8_t *);
sfmmu_reprog_pgsz_arr(sfmmup, tmp_pgsz);