diff options
| -rw-r--r-- | cpukit/score/cpu/arm/include/libcpu/arm-cp15.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpukit/score/cpu/arm/include/libcpu/arm-cp15.h b/cpukit/score/cpu/arm/include/libcpu/arm-cp15.h index 54a8e7516c..a7e7542bcb 100644 --- a/cpukit/score/cpu/arm/include/libcpu/arm-cp15.h +++ b/cpukit/score/cpu/arm/include/libcpu/arm-cp15.h @@ -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 ); |