num_core_regs     167 arch/arm/kvm/guest.c 	return num_core_regs() + kvm_arm_num_coproc_regs(vcpu)
num_core_regs     624 arch/arm64/kvm/guest.c 	res += num_core_regs(vcpu);