fvalog2_set_mod_max
range.last_va = fvalog2_set_mod_max(range.va,
radix->vbits = fvalog2_set_mod_max(0, table_lg2sz);
fvalog2_set_mod_max(pt_full_va_prefix(common), max_vasz_lg2);
range.last_va = fvalog2_set_mod_max(0, range.max_vasz_lg2);