Symbol: tlbie
headers/private/kernel/arch/m68k/arch_cpu.h
496
#define tlbie(addr) asm volatile("tlbie %0" :: "r" (addr))
headers/private/kernel/arch/ppc/arch_cpu.h
121
#define tlbie(addr) asm volatile("tlbie %0" :: "r" (addr))