diff --git a/nuttx-configs/px4esc-v1/src/ostubs.c b/nuttx-configs/px4esc-v1/src/ostubs.c
index 4d0bb7a20a..48561d137c 100644
--- a/nuttx-configs/px4esc-v1/src/ostubs.c
+++ b/nuttx-configs/px4esc-v1/src/ostubs.c
@@ -150,7 +150,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 */