Symbol: kvm_handle_s1e2_tlbi
arch/arm64/include/asm/kvm_nested.h
407
void kvm_handle_s1e2_tlbi(struct kvm_vcpu *vcpu, u32 inst, u64 val);
arch/arm64/kvm/sys_regs.c
4143
kvm_handle_s1e2_tlbi(vcpu, sys_encoding, p->regval);
arch/arm64/kvm/sys_regs.c
4178
kvm_handle_s1e2_tlbi(vcpu, sys_encoding, p->regval);