kvm_arm_get_fw_num_regs
res += kvm_arm_get_fw_num_regs(vcpu);
uindices += kvm_arm_get_fw_num_regs(vcpu);
int kvm_arm_get_fw_num_regs(struct kvm_vcpu *vcpu);