Symbol: __repeat_tlbi_sync
arch/arm64/include/asm/tlbflush.h
191
__repeat_tlbi_sync(vale1is, 0);
arch/arm64/include/asm/tlbflush.h
201
__repeat_tlbi_sync(vale2is, 0);