Searched refs:tlbi_op (Results 1 – 1 of 1) sorted by relevance
133 typedef void (*tlbi_op)(u64 arg); typedef178 static __always_inline void __tlbi_level_asid(tlbi_op op, u64 addr, u32 level, in __tlbi_level_asid()192 static inline void __tlbi_level(tlbi_op op, u64 addr, u32 level) in __tlbi_level()474 static __always_inline void __tlbi_range(tlbi_op op, u64 addr, in __tlbi_range()490 static __always_inline void __flush_tlb_range_op(tlbi_op lop, tlbi_op rop, in __flush_tlb_range_op()