Searched refs:__tlbiel_va (Results 1 – 1 of 1) sorted by relevance
158 static __always_inline void __tlbiel_va(unsigned long va, unsigned long pid, in __tlbiel_va() function439 __tlbiel_va(addr, pid, ap, RIC_FLUSH_TLB); in __tlbiel_va_range()448 __tlbiel_va(va, pid, ap, ric); in _tlbiel_va()