ARM: use arm_reg_current()