Symbol: __TLBI_RANGE_PAGES
arch/arm64/include/asm/kvm_nested.h
298
*range = __TLBI_RANGE_PAGES(num, scale) << shift;
arch/arm64/include/asm/tlbflush.h
192
#define MAX_TLBI_RANGE_PAGES __TLBI_RANGE_PAGES(31, 3)
arch/arm64/include/asm/tlbflush.h
465
addr += __TLBI_RANGE_PAGES(num, scale) << PAGE_SHIFT;