Searched refs:range_end (Results 1 – 2 of 2) sorted by relevance
576 void *range_end = vaddr + _get_level_size(level); in rt_hw_mmu_control() local577 RT_ASSERT(range_end <= vend); in rt_hw_mmu_control()584 vaddr = range_end; in rt_hw_mmu_control()
890 rt_ubase_t range_end = vstart + (1ul << level_shift); in rt_hw_mmu_control() local891 RT_ASSERT(range_end <= vend); in rt_hw_mmu_control()898 vstart = range_end; in rt_hw_mmu_control()
Completed in 7 milliseconds