Symbol: __tlbi_user
arch/arm64/include/asm/tlbflush.h
313
__tlbi_user(aside1is, asid);
arch/arm64/include/asm/tlbflush.h
326
__tlbi_user(vale1, addr);
arch/arm64/include/asm/tlbflush.h
353
__tlbi_user(vale1is, addr);
arch/arm64/include/asm/tlbflush.h
459
__tlbi_user(r##op, addr); \