diff --git a/cpukit/score/cpu/arm/rtems/score/cpu.h b/cpukit/score/cpu/arm/rtems/score/cpu.h
index bc9bee3eb1..900486bbe4 100644
--- a/cpukit/score/cpu/arm/rtems/score/cpu.h
+++ b/cpukit/score/cpu/arm/rtems/score/cpu.h
@@ -149,7 +149,7 @@
 /* XXX Why 32? */
 #define CPU_STRUCTURE_ALIGNMENT __attribute__ ((aligned (32)))
 
-#define CPU_TIMESTAMP_USE_INT64_INLINE TRUE
+#define CPU_TIMESTAMP_USE_STRUCT_TIMESPEC TRUE
 
 /*
  * The interrupt mask disables only normal interrupts (IRQ).