__TLBI_RANGE_PAGES
*range = __TLBI_RANGE_PAGES(num, scale) << shift;
#define MAX_TLBI_RANGE_PAGES __TLBI_RANGE_PAGES(31, 3)
__TLBI_RANGE_PAGES(31, (scale))); \
__flush_start += __TLBI_RANGE_PAGES(num, scale) << PAGE_SHIFT; \
__flush_pages -= __TLBI_RANGE_PAGES(num, scale);\