Symbol: __kvm_at_s1e01
arch/arm64/include/asm/kvm_asm.h
249
extern int __kvm_at_s1e01(struct kvm_vcpu *vcpu, u32 op, u64 vaddr);
arch/arm64/kvm/at.c
1555
__kvm_at_s1e01(vcpu, op, vaddr);
arch/arm64/kvm/sys_regs.c
3789
if (__kvm_at_s1e01(vcpu, op, p->regval))