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