From e8cff045f825180dde6791d13294e308a2c549a5 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Mon, 27 Jul 2015 08:38:38 -0600
Subject: [PATCH] Correct name of sporadic scheduler hooks

---
 configs/stm32f746g-disco/src/stm32_boot.c       |  2 +-
 configs/stm32f746g-disco/src/stm32_sporadic.c   | 12 ++++++------
 configs/stm32f746g-disco/src/stm32f746g-disco.h |  4 ++--
 3 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/configs/stm32f746g-disco/src/stm32_boot.c b/configs/stm32f746g-disco/src/stm32_boot.c
index f644ef8a8a..3455396790 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 7f56121cb6..b5d360a3e0 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 482b8fa4a2..00df20d619 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__ */