Symbol: kvm_arm_num_regs