Lines Matching refs:instr
135 static inline bool kvm_supported_tlbi_s1e1_op(struct kvm_vcpu *vpcu, u32 instr) in kvm_supported_tlbi_s1e1_op() argument
138 u8 CRm = sys_reg_CRm(instr); in kvm_supported_tlbi_s1e1_op()
140 if (!(sys_reg_Op0(instr) == TLBI_Op0 && in kvm_supported_tlbi_s1e1_op()
141 sys_reg_Op1(instr) == TLBI_Op1_EL1)) in kvm_supported_tlbi_s1e1_op()
144 if (!(sys_reg_CRn(instr) == TLBI_CRn_XS || in kvm_supported_tlbi_s1e1_op()
145 (sys_reg_CRn(instr) == TLBI_CRn_nXS && in kvm_supported_tlbi_s1e1_op()
161 static inline bool kvm_supported_tlbi_s1e2_op(struct kvm_vcpu *vpcu, u32 instr) in kvm_supported_tlbi_s1e2_op() argument
164 u8 CRm = sys_reg_CRm(instr); in kvm_supported_tlbi_s1e2_op()
166 if (!(sys_reg_Op0(instr) == TLBI_Op0 && in kvm_supported_tlbi_s1e2_op()
167 sys_reg_Op1(instr) == TLBI_Op1_EL2)) in kvm_supported_tlbi_s1e2_op()
170 if (!(sys_reg_CRn(instr) == TLBI_CRn_XS || in kvm_supported_tlbi_s1e2_op()
171 (sys_reg_CRn(instr) == TLBI_CRn_nXS && in kvm_supported_tlbi_s1e2_op()