fvalog2_set_mod
range.va = fvalog2_set_mod(pt_full_va_prefix(common), 0, max_vasz_lg2);
range.va = fvalog2_set_mod(PT_VADDR_MAX, 0, range.max_vasz_lg2 - 1);
va = fvalog2_set_mod(pts->range->va,
last_va = fvalog2_set_mod(
pts->range->va = fvalog2_set_mod(pts->range->va, lower_va,