Searched refs:__tlbi_level_asid (Results 1 – 1 of 1) sorted by relevance
178 static __always_inline void __tlbi_level_asid(tlbi_op op, u64 addr, u32 level, in __tlbi_level_asid() function194 __tlbi_level_asid(op, addr, level, 0); in __tlbi_level()518 __tlbi_level_asid(lop, addr, level, asid); in __flush_tlb_range_op()