log2_set_mod_max
pt_vaddr_t last_va = log2_set_mod_max(
pt_vaddr_t last_va = log2_set_mod_max(0, c_lg2);
pt_vaddr_t last_va = log2_set_mod_max(
pt_vaddr_t last_va = log2_set_mod_max(
KUNIT_ASSERT_EQ(test, log2_set_mod_max(0, isz_lg2), radix->vbits);
log2_set_mod_max(0, range.max_vasz_lg2),
log2_set_mod_max(parent_pts->range->va, isz_lg2),