Lines Matching defs:scale
136 #define __TLBI_VADDR_RANGE(addr, asid, scale, num, ttl) \
142 __ta |= (unsigned long)(scale) << 44; \
149 #define __TLBI_RANGE_PAGES(num, scale) \
150 ((unsigned long)((num) + 1) << (5 * (scale) + 1))
158 #define __TLBI_RANGE_NUM(pages, scale) \
159 ((((pages) >> (5 * (scale) + 1)) & TLBI_RANGE_MASK) - 1)
287 int scale = 0;
319 * by 'scale', so multiple range TLBI operations may be required.
320 * Start from scale = 0, flush the corresponding number of pages
321 * ((num+1)*2^(5*scale+1) starting from 'addr'), then increase it
325 * scale or num = 0 and scale + 1. The loop below favours the latter
344 num = __TLBI_RANGE_NUM(pages, scale);
346 addr = __TLBI_VADDR_RANGE(start, asid, scale,
355 start += __TLBI_RANGE_PAGES(num, scale) << PAGE_SHIFT;
356 pages -= __TLBI_RANGE_PAGES(num, scale);
358 scale++;