[RTEMS Project] #3699: Wrong system register specified for ARM virtual timer value retrieval

[RTEMS trac]

#3699: Wrong system register specified for ARM virtual timer value retrieval
---------------------------+---------------------------
  Reporter:  Kinsey Moore  |      Owner:  (none)
      Type:  defect        |     Status:  new
  Priority:  normal        |  Milestone:
 Component:  arch/arm      |    Version:
  Severity:  normal        |   Keywords:  gpt,timer,arm
Blocked By:                |   Blocking:
---------------------------+---------------------------
 In arm_cp15_get_counter_pl1_virtual_timer_value() in
 cpukit/score/cpu/arm/include/libcpu/arm-cp15.h, the system register
 specified by "p15, 0, %[val], c14, c2, 0" is actually the system register
 for the physical timer value. This should be "p15, 0, %[val], c14, c3, 0"
 for the virtual timer value as used in the setter.

--
Ticket URL: <http://devel.rtems.org/ticket/3699>
RTEMS Project <http://www.rtems.org/>
RTEMS Project