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