2931 	u32 sys_encoding = sys_insn(p->Op0, p->Op1, p->CRn, p->CRm, p->Op2);  in handle_alle1is()  local
2933 	if (!kvm_supported_tlbi_s12_op(vcpu, sys_encoding))  in handle_alle1is()
3023 	u32 sys_encoding = sys_insn(p->Op0, p->Op1, p->CRn, p->CRm, p->Op2);  in handle_vmalls12e1is()  local
3026 	if (!kvm_supported_tlbi_s12_op(vcpu, sys_encoding))  in handle_vmalls12e1is()
3047 	u32 sys_encoding = sys_insn(p->Op0, p->Op1, p->CRn, p->CRm, p->Op2);  in handle_ripas2e1is()  local
3052 	if (!kvm_supported_tlbi_ipas2_op(vcpu, sys_encoding))  in handle_ripas2e1is()
3122 	u32 sys_encoding = sys_insn(p->Op0, p->Op1, p->CRn, p->CRm, p->Op2);  in handle_ipas2e1is()  local
3125 	if (!kvm_supported_tlbi_ipas2_op(vcpu, sys_encoding))  in handle_ipas2e1is()
3148 	u32 sys_encoding = sys_insn(p->Op0, p->Op1, p->CRn, p->CRm, p->Op2);  in handle_tlbi_el1()  local
3166 	if (!kvm_supported_tlbi_s1e1_op(vcpu, sys_encoding))  in handle_tlbi_el1()
3173 						   .encoding = sys_encoding,  in handle_tlbi_el1()