3575 	u32 sys_encoding = sys_insn(p->Op0, p->Op1, p->CRn, p->CRm, p->Op2);  in handle_alle1is()  local
3577 	if (!kvm_supported_tlbi_s12_op(vcpu, sys_encoding))  in handle_alle1is()
3667 	u32 sys_encoding = sys_insn(p->Op0, p->Op1, p->CRn, p->CRm, p->Op2);  in handle_vmalls12e1is()  local
3670 	if (!kvm_supported_tlbi_s12_op(vcpu, sys_encoding))  in handle_vmalls12e1is()
3691 	u32 sys_encoding = sys_insn(p->Op0, p->Op1, p->CRn, p->CRm, p->Op2);  in handle_ripas2e1is()  local
3695 	if (!kvm_supported_tlbi_ipas2_op(vcpu, sys_encoding))  in handle_ripas2e1is()
3746 	u32 sys_encoding = sys_insn(p->Op0, p->Op1, p->CRn, p->CRm, p->Op2);  in handle_ipas2e1is()  local
3749 	if (!kvm_supported_tlbi_ipas2_op(vcpu, sys_encoding))  in handle_ipas2e1is()
3772 	u32 sys_encoding = sys_insn(p->Op0, p->Op1, p->CRn, p->CRm, p->Op2);  in handle_tlbi_el2()  local
3774 	if (!kvm_supported_tlbi_s1e2_op(vcpu, sys_encoding))  in handle_tlbi_el2()
3777 	kvm_handle_s1e2_tlbi(vcpu, sys_encoding, p->regval);  in handle_tlbi_el2()
3784 	u32 sys_encoding = sys_insn(p->Op0, p->Op1, p->CRn, p->CRm, p->Op2);  in handle_tlbi_el1()  local
3808 	if (!kvm_supported_tlbi_s1e1_op(vcpu, sys_encoding))  in handle_tlbi_el1()
3812 		kvm_handle_s1e2_tlbi(vcpu, sys_encoding, p->regval);  in handle_tlbi_el1()
3821 						   .encoding = sys_encoding,  in handle_tlbi_el1()