Symbol: tlbiel_va
arch/powerpc/mm/book3s64/radix_tlb.c
485
struct tlbiel_va {
drivers/misc/lkdtm/powerpc.c
110
static __always_inline void tlbiel_va(unsigned long va,