152 static __always_inline void __tlbiel_va(unsigned long va, unsigned long pid,  in __tlbiel_va()
168 static __always_inline void __tlbie_va(unsigned long va, unsigned long pid,  in __tlbie_va()
184 static __always_inline void __tlbie_lpid_va(unsigned long va, unsigned long lpid,  in __tlbie_lpid_va()
201 static inline void fixup_tlbie_va(unsigned long va, unsigned long pid,  in fixup_tlbie_va()
215 static inline void fixup_tlbie_va_range(unsigned long va, unsigned long pid,  in fixup_tlbie_va_range()
235 	unsigned long va = ((1UL << 52) - 1);  in fixup_tlbie_pid()  local
249 static inline void fixup_tlbie_lpid_va(unsigned long va, unsigned long lpid,  in fixup_tlbie_lpid_va()
269 	unsigned long va = ((1UL << 52) - 1);  in fixup_tlbie_lpid()  local
427 static __always_inline void _tlbiel_va(unsigned long va, unsigned long pid,  in _tlbiel_va()
461 static __always_inline void _tlbie_va(unsigned long va, unsigned long pid,  in _tlbie_va()
474 	unsigned long va;  member
492 				unsigned long va, unsigned long pid,  in _tlbiel_va_multicast()
519 static __always_inline void _tlbie_lpid_va(unsigned long va, unsigned long lpid,  in _tlbie_lpid_va()