Lines Matching defs:info
91 static __always_inline void invtlb(u32 op, u32 info, u64 addr)
96 : "i"(op), "r"(info), "r"(addr)
101 static __always_inline void invtlb_addr(u32 op, u32 info, u64 addr)
103 BUILD_BUG_ON(!__builtin_constant_p(info) || info != 0);
112 static __always_inline void invtlb_info(u32 op, u32 info, u64 addr)
118 : "i"(op), "r"(info)
123 static __always_inline void invtlb_all(u32 op, u32 info, u64 addr)
125 BUILD_BUG_ON(!__builtin_constant_p(info) || info != 0);