Symbol: kvm_arm_num_sys_reg_descs
arch/arm64/include/asm/kvm_host.h
1222
unsigned long kvm_arm_num_sys_reg_descs(struct kvm_vcpu *vcpu);
arch/arm64/kvm/guest.c
667
res += kvm_arm_num_sys_reg_descs(vcpu);