Symbol: __tlbi_sync_s1ish
arch/arm64/include/asm/tlbflush.h
384
__tlbi_sync_s1ish(mm);
arch/arm64/include/asm/tlbflush.h
607
__tlbi_sync_s1ish(mm);
arch/arm64/kernel/sys_compat.c
40
__tlbi_sync_s1ish(current->mm);