diff --git a/configs/stm32f746g-disco/src/stm32_boot.c b/configs/stm32f746g-disco/src/stm32_boot.c
index f644ef8a8ab..34553967908 100644
--- a/configs/stm32f746g-disco/src/stm32_boot.c
+++ b/configs/stm32f746g-disco/src/stm32_boot.c
@@ -89,7 +89,7 @@ void stm32_boardinitialize(void)
    * The following caqll initializes the sporadic scheduler monitor.
    */
 
-  sporadic_note_initialize();
+  arch_sporadic_initialize();
 #endif
 
 #ifdef CONFIG_ARCH_LEDS
diff --git a/configs/stm32f746g-disco/src/stm32_sporadic.c b/configs/stm32f746g-disco/src/stm32_sporadic.c
index 7f56121cb6f..b5d360a3e09 100644
--- a/configs/stm32f746g-disco/src/stm32_sporadic.c
+++ b/configs/stm32f746g-disco/src/stm32_sporadic.c
@@ -53,7 +53,7 @@
  ****************************************************************************/
 
 /****************************************************************************
- * Name: sporadic_note_*
+ * Name: arch_sporadic_*
  *
  * Description:
  *   This configuration has been used for evaluating the NuttX sporadic
@@ -64,28 +64,28 @@
  *
  ****************************************************************************/
 
-void sporadic_note_initialize(void)
+void arch_sporadic_initialize(void)
 {
   stm32_configgpio(GPIO_SCHED_HIGHPRI);
   stm32_configgpio(GPIO_SCHED_RUNNING);
 }
 
-void sporadic_note_start(FAR struct tcb_s *tcb)
+void arch_sporadic_start(FAR struct tcb_s *tcb)
 {
   stm32_gpiowrite(GPIO_SCHED_HIGHPRI, true);
 }
 
-void sporadic_note_lowpriority(FAR struct tcb_s *tcb)
+void arch_sporadic_lowpriority(FAR struct tcb_s *tcb)
 {
   stm32_gpiowrite(GPIO_SCHED_HIGHPRI, false);
 }
 
-void sporadic_note_suspend(FAR struct tcb_s *tcb)
+void arch_sporadic_suspend(FAR struct tcb_s *tcb)
 {
   stm32_gpiowrite(GPIO_SCHED_RUNNING, false);
 }
 
-void sporadic_note_resume(FAR struct tcb_s *tcb)
+void arch_sporadic_resume(FAR struct tcb_s *tcb)
 {
   stm32_gpiowrite(GPIO_SCHED_RUNNING, true);
 }
diff --git a/configs/stm32f746g-disco/src/stm32f746g-disco.h b/configs/stm32f746g-disco/src/stm32f746g-disco.h
index 482b8fa4a29..00df20d619c 100644
--- a/configs/stm32f746g-disco/src/stm32f746g-disco.h
+++ b/configs/stm32f746g-disco/src/stm32f746g-disco.h
@@ -101,7 +101,7 @@
 void weak_function stm32_spiinitialize(void);
 
 /****************************************************************************************************
- * Name: sporadic_note_initialize
+ * Name: arch_sporadic_initialize
  *
  * Description:
  *   This configuration has been used for evaluating the NuttX sporadic scheduler.
@@ -109,7 +109,7 @@ void weak_function stm32_spiinitialize(void);
  ****************************************************************************************************/
 
 #ifdef CONFIG_SPORADIC_INSTRUMENTATION
-void sporadic_note_initialize(void);
+void arch_sporadic_initialize(void);
 #endif
 
 #endif /* __ASSEMBLY__ */