diff --git a/nuttx-configs/s2740vc-v1/src/ostubs.c b/nuttx-configs/s2740vc-v1/src/ostubs.c
index 13b8ce1225..cb9c134196 100644
--- a/nuttx-configs/s2740vc-v1/src/ostubs.c
+++ b/nuttx-configs/s2740vc-v1/src/ostubs.c
@@ -106,7 +106,7 @@ void os_start(void)
   /* Initialize the OS's timer subsystem */
 #if !defined(CONFIG_SUPPRESS_INTERRUPTS) && !defined(CONFIG_SUPPRESS_TIMER_INTS) && \
     !defined(CONFIG_SYSTEMTICK_EXTCLK)
-  up_timer_initialize();
+  arm_timer_initialize();
 #endif
 
   /* Keep the compiler happy for a no return function */