Searched refs:__tlbiel_pid (Results 1 – 1 of 1) sorted by relevance
93 static __always_inline void __tlbiel_pid(unsigned long pid, int set, in __tlbiel_pid() function294 __tlbiel_pid(pid, 0, ric); in _tlbiel_pid()304 __tlbiel_pid(pid, set, RIC_FLUSH_TLB); in _tlbiel_pid()442 __tlbiel_pid(pid, 0, RIC_FLUSH_PWC); in _tlbiel_va_range()
