TLB_RANGE_LEN
for (size_t i = 0; i < TLB_RANGE_LEN(&range);
for (size_t i = 0; i < TLB_RANGE_LEN(&range);
for (size_t i = 0; i < TLB_RANGE_LEN(&range);
mmu_flush_tlb_range(range->tr_va, TLB_RANGE_LEN(range),