PT_VADDR_MAX
(pt_vaddr_t)paddr > PT_VADDR_MAX) ||
pt_vaddr_t va = PT_VADDR_MAX << a_lg2;
pt_oaddr_t oa = PT_VADDR_MAX << b_lg2;
pt_vaddr_t last_va = PT_VADDR_MAX;
KUNIT_ASSERT_EQ(test, radix.vbits, PT_VADDR_MAX);
KUNIT_ASSERT_NE(test, range->last_va, PT_VADDR_MAX);
ULONG_MAX >= PT_VADDR_MAX && get_random_u32_inclusive(0, 1))
unmap_collisions(test, &mt, 0, PT_VADDR_MAX);
return PT_VADDR_MAX;
range.va = fvalog2_set_mod(PT_VADDR_MAX, 0, range.max_vasz_lg2 - 1);
range.last_va = PT_VADDR_MAX;
PT_VADDR_MAX :