bsps/arm: Fix system register for virtual timer

The system register in use for retrieval of the virtual timer value was
mistakenly copied from the physical timer value retrieval function.
Virtual timer value retrieval should use the same system register as the
virtual timer value setter.

Close #3699.
This commit is contained in:
Kinsey Moore
2019-02-21 16:13:58 -06:00
committed by Sebastian Huber
parent c5615ddc0b
commit 7abc497b6c

View File

@@ -2067,7 +2067,7 @@ arm_cp15_get_counter_pl1_virtual_timer_value(void)
__asm__ volatile (
ARM_SWITCH_TO_ARM
"mrc p15, 0, %[val], c14, c2, 0\n"
"mrc p15, 0, %[val], c14, c3, 0\n"
ARM_SWITCH_BACK
: [val] "=&r" (val) ARM_SWITCH_ADDITIONAL_OUTPUT
);