Rename sched_process_timer to nxsched_process_timer. That is the appropriate name for an internal sched/ function (still many named incorrectly).

Documentation/NuttxPortingGuide.html

@@ -157,7 +157,7 @@
     <ul>
       <a href="#osstart">4.7.1 <code>nx_start()</code></a><br>
       <a href="#listmgmt">4.7.2 OS List Management APIs</a><br>
-      <a href="#schedprocesstimer">4.7.3 <code>sched_process_timer()</code></a><br>
+      <a href="#schedprocesstimer">4.7.3 <code>nxsched_process_timer()</code></a><br>
       <a href="#schedtimerexpiration">4.7.4 <code>sched_timer_expiration()</code></a><br>
       <a href="#schedalarmexpiration">4.7.5 <code>sched_alarm_expiration()</code></a><br>
       <a href="#irqdispatch">4.7.6 <code>irq_dispatch()</code></a>
@@ -3945,11 +3945,11 @@ void lpwork_restorepriority(uint8_t reqprio);
   <b><i>To be provided</i></b>
 </p>
 
-<h3><a name="schedprocesstimer">4.7.3 <code>sched_process_timer()</code></a></h3>
+<h3><a name="schedprocesstimer">4.7.3 <code>nxsched_process_timer()</code></a></h3>
 <p><b>Function Prototype</b>:</p>
 <ul><pre>
 #include &lt;nuttx/arch.h&gt;
-void sched_process_timer(void);
+void nxsched_process_timer(void);
 </pre></ul>
 
 <p><b>Description</b>.

arch/arm/src/a1x/a1x_timerisr.c

@@ -94,7 +94,7 @@ static int a1x_timerisr(int irq, uint32_t *regs, void *arg)
 
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
   return OK;
 }
 

arch/arm/src/am335x/am335x_timerisr.c

@@ -119,7 +119,7 @@ static int am335x_timerisr(int irq, uint32_t *regs, void *arg)
 
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
 
   return OK;
 }

arch/arm/src/c5471/c5471_timerisr.c

@@ -86,7 +86,7 @@ static int c5471_timerisr(int irq, uint32_t *regs, FAR void *arg)
 {
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
   return 0;
 }
 

arch/arm/src/common/up_idle.c

@@ -66,7 +66,7 @@ void up_idle(void)
    * "fake" timer interrupts. Hopefully, something will wake up.
    */
 
-  sched_process_timer();
+  nxsched_process_timer();
 #else
 
   /* Sleep until an interrupt occurs to save power */

arch/arm/src/dm320/dm320_timerisr.c

@@ -113,7 +113,7 @@ static int dm320_timerisr(int irq, uint32_t *regs, FAR void *arg)
 {
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
   return 0;
 }
 

arch/arm/src/efm32/efm32_timerisr.c

@@ -90,7 +90,7 @@ static int efm32_timerisr(int irq, uint32_t *regs, FAR void *arg)
 {
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
   return 0;
 }
 

arch/arm/src/imx1/imx_timerisr.c

@@ -80,7 +80,7 @@ static int imx_timerisr(int irq, uint32_t *regs, FAR void *arg)
     {
       /* Process timer interrupt */
 
-      sched_process_timer();
+      nxsched_process_timer();
       ret = OK;
     }
 

arch/arm/src/imx6/imx_timerisr.c

@@ -117,7 +117,7 @@ static void imx_output_compare(uint32_t sr, uint32_t of)
     {
       /* Process timer interrupt event */
 
-      sched_process_timer();
+      nxsched_process_timer();
     }
 }
 

arch/arm/src/imxrt/imxrt_idle.c

@@ -170,7 +170,7 @@ void up_idle(void)
    * "fake" timer interrupts. Hopefully, something will wake up.
    */
 
-  sched_process_timer();
+  nxsched_process_timer();
 #else
 
   /* Perform IDLE mode power management */

arch/arm/src/imxrt/imxrt_timerisr.c

@@ -125,7 +125,7 @@ static int imxrt_timerisr(int irq, uint32_t *regs, void *arg)
 {
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
   return 0;
 }
 

arch/arm/src/kinetis/kinetis_idle.c

@@ -93,7 +93,7 @@ void up_idle(void)
    * "fake" timer interrupts. Hopefully, something will wake up.
    */
 
-  sched_process_timer();
+  nxsched_process_timer();
 #else
 
   /* Sleep until an interrupt occurs to save power */

arch/arm/src/kinetis/kinetis_timerisr.c

@@ -94,7 +94,7 @@ static int kinetis_timerisr(int irq, uint32_t *regs, FAR void *arg)
 {
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
   return 0;
 }
 

arch/arm/src/kl/kl_idle.c

@@ -174,7 +174,7 @@ void up_idle(void)
    * "fake" timer interrupts. Hopefully, something will wake up.
    */
 
-  sched_process_timer();
+  nxsched_process_timer();
 #else
 
   /* Perform IDLE mode power management */

arch/arm/src/kl/kl_timerisr.c

@@ -109,7 +109,7 @@ static int kl_timerisr(int irq, uint32_t *regs, FAR void *arg)
 {
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
   return 0;
 }
 

arch/arm/src/lc823450/lc823450_idle.c

@@ -83,7 +83,7 @@ void up_idle(void)
    * "fake" timer interrupts. Hopefully, something will wake up.
    */
 
-  sched_process_timer();
+  nxsched_process_timer();
 #else
 
   /* DVFS and LED control must be done with local interrupts disabled */

arch/arm/src/lc823450/lc823450_timer.c

@@ -387,7 +387,7 @@ int up_timerisr(int irq, uint32_t *regs, FAR void *arg)
   putreg32(1 << 1, rMT00STS);
 #endif
 
-  sched_process_timer();
+  nxsched_process_timer();
 
 #ifdef CONFIG_LCA_SOUNDSKIP_CHECK
   extern void lca_check_soundskip(void);

arch/arm/src/lpc11xx/lpc11_idle.c

@@ -92,7 +92,7 @@ void up_idle(void)
    * "fake" timer interrupts. Hopefully, something will wake up.
    */
 
-  sched_process_timer();
+  nxsched_process_timer();
 #else
 
 /* If the g_dma_inprogress is zero, then there is no DMA in progress.  This

arch/arm/src/lpc11xx/lpc11_timerisr.c

@@ -109,7 +109,7 @@ static int lpc11_timerisr(int irq, uint32_t *regs, FAR void *arg)
 {
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
   return 0;
 }
 

arch/arm/src/lpc17xx/lpc17_idle.c

@@ -94,7 +94,7 @@ void up_idle(void)
    * "fake" timer interrupts. Hopefully, something will wake up.
    */
 
-  sched_process_timer();
+  nxsched_process_timer();
 #else
 
 /* If the g_dma_inprogress is zero, then there is no DMA in progress.  This

arch/arm/src/lpc17xx/lpc17_timerisr.c

@@ -95,7 +95,7 @@ static int lpc17_timerisr(int irq, uint32_t *regs, void *arg)
 {
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
   return 0;
 }
 

arch/arm/src/lpc214x/lpc214x_timerisr.c

@@ -92,7 +92,7 @@ static int lpc214x_timerisr(int irq, uint32_t *regs, void *arg)
 {
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
 
   /* Clear the MR0 match interrupt */
 

arch/arm/src/lpc2378/lpc23xx_timerisr.c

@@ -103,7 +103,7 @@ static int lpc23xx_timerisr(int irq, uint32_t * regs, FAR void *arg)
 
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
 
   /* Clear the MR0 match interrupt */
 

arch/arm/src/lpc31xx/lpc31_timerisr.c

@@ -76,7 +76,7 @@ static int lpc31_timerisr(int irq, uint32_t *regs, void *arg)
 
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
   return 0;
 }
 

arch/arm/src/lpc43xx/lpc43_idle.c

@@ -169,7 +169,7 @@ void up_idle(void)
    * "fake" timer interrupts. Hopefully, something will wake up.
    */
 
-  sched_process_timer();
+  nxsched_process_timer();
 #else
 
   /* Perform IDLE mode power management */

arch/arm/src/lpc43xx/lpc43_timerisr.c

@@ -94,7 +94,7 @@ static int lpc43_timerisr(int irq, uint32_t *regs, void *arg)
 {
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
   return 0;
 }
 

arch/arm/src/lpc54xx/lpc54_idle.c

@@ -169,7 +169,7 @@ void up_idle(void)
    * "fake" timer interrupts. Hopefully, something will wake up.
    */
 
-  sched_process_timer();
+  nxsched_process_timer();
 #else
 
   /* Perform IDLE mode power management */

arch/arm/src/lpc54xx/lpc54_timerisr.c

@@ -106,7 +106,7 @@ static int lpc54_timerisr(int irq, uint32_t *regs, void *arg)
 {
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
   return 0;
 }
 

arch/arm/src/max326xx/common/max326_idle.c

@@ -169,7 +169,7 @@ void up_idle(void)
    * "fake" timer interrupts. Hopefully, something will wake up.
    */
 
-  sched_process_timer();
+  nxsched_process_timer();
 #else
 
   /* Perform IDLE mode power management */

arch/arm/src/max326xx/common/max326_timerisr.c

@@ -93,7 +93,7 @@ static int max326_timerisr(int irq, uint32_t *regs, void *arg)
 {
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
   return 0;
 }
 

arch/arm/src/moxart/moxart_idle.c

@@ -81,7 +81,7 @@ void up_idle(void)
    * "fake" timer interrupts. Hopefully, something will wake up.
    */
 
-  sched_process_timer();
+  nxsched_process_timer();
 #else
   uint32_t i;
 

arch/arm/src/moxart/moxart_timer.c

@@ -112,7 +112,7 @@ static int moxart_timerisr(int irq, uint32_t *regs, void *arg)
 
   putreg32(cmp, TM1_ADDR + COUNTER_TIMER);
 
-  sched_process_timer();
+  nxsched_process_timer();
   return 0;
 }
 

arch/arm/src/nrf52/nrf52_idle.c

@@ -169,7 +169,7 @@ void up_idle(void)
    * "fake" timer interrupts. Hopefully, something will wake up.
    */
 
-  sched_process_timer();
+  nxsched_process_timer();
 #else
 
   /* Perform IDLE mode power management */

arch/arm/src/nrf52/nrf52_timerisr.c

@@ -104,7 +104,7 @@ static int nrf52_timerisr(int irq, uint32_t *regs, void *arg)
 {
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
   return 0;
 }
 

arch/arm/src/nuc1xx/nuc_idle.c

@@ -170,7 +170,7 @@ void up_idle(void)
    * "fake" timer interrupts. Hopefully, something will wake up.
    */
 
-  sched_process_timer();
+  nxsched_process_timer();
 #else
 
   /* Perform IDLE mode power management */

arch/arm/src/nuc1xx/nuc_timerisr.c

@@ -160,7 +160,7 @@ static int nuc_timerisr(int irq, uint32_t *regs, void *arg)
 {
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
   return 0;
 }
 

arch/arm/src/sam34/sam4cm_cpuidlestack.c

@@ -72,7 +72,7 @@ void up_idle(void)
    * "fake" timer interrupts. Hopefully, something will wake up.
    */
 
-  sched_process_timer();
+  nxsched_process_timer();
 #else
 
   /* Sleep until an interrupt occurs to save power */

arch/arm/src/sam34/sam4cm_idle.c

@@ -66,7 +66,7 @@ void up_idle(void)
    * "fake" timer interrupts. Hopefully, something will wake up.
    */
 
-  sched_process_timer();
+  nxsched_process_timer();
 #else
 
   /* Sleep until an interrupt occurs to save power */

arch/arm/src/sam34/sam_timerisr.c

@@ -116,7 +116,7 @@ static int sam_timerisr(int irq, uint32_t *regs, void *arg)
 {
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
   return 0;
 }
 

arch/arm/src/sama5/sam_timerisr.c

@@ -103,7 +103,7 @@ static int sam_timerisr(int irq, uint32_t *regs, void *arg)
 
   while (picnt-- > 0)
     {
-      sched_process_timer();
+      nxsched_process_timer();
     }
 
   return OK;

arch/arm/src/samd2l2/sam_idle.c

@@ -170,7 +170,7 @@ void up_idle(void)
    * "fake" timer interrupts. Hopefully, something will wake up.
    */
 
-  sched_process_timer();
+  nxsched_process_timer();
 #else
 
   /* Perform IDLE mode power management */

arch/arm/src/samd2l2/sam_timerisr.c

@@ -99,7 +99,7 @@ static int sam_timerisr(int irq, uint32_t *regs, void *arg)
 {
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
   return 0;
 }
 

arch/arm/src/samd5e5/sam_idle.c

@@ -169,7 +169,7 @@ void up_idle(void)
    * "fake" timer interrupts. Hopefully, something will wake up.
    */
 
-  sched_process_timer();
+  nxsched_process_timer();
 #else
 
   /* Perform IDLE mode power management */

arch/arm/src/samd5e5/sam_timerisr.c

@@ -94,7 +94,7 @@ static int sam_timerisr(int irq, uint32_t *regs, void *arg)
 {
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
   return 0;
 }
 

arch/arm/src/samv7/sam_timerisr.c

@@ -102,7 +102,7 @@ static int sam_timerisr(int irq, uint32_t *regs, void *arg)
 {
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
   return 0;
 }
 

arch/arm/src/stm32/stm32_idle.c

@@ -172,7 +172,7 @@ void up_idle(void)
    * "fake" timer interrupts. Hopefully, something will wake up.
    */
 
-  sched_process_timer();
+  nxsched_process_timer();
 #else
 
   /* Perform IDLE mode power management */

arch/arm/src/stm32/stm32_timerisr.c

@@ -102,7 +102,7 @@ static int stm32_timerisr(int irq, uint32_t *regs, void *arg)
 {
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
   return 0;
 }
 

arch/arm/src/stm32f0l0/stm32_idle.c

@@ -85,7 +85,7 @@ void up_idle(void)
    * "fake" timer interrupts. Hopefully, something will wake up.
    */
 
-  sched_process_timer();
+  nxsched_process_timer();
 #else
 
 /* If the g_dma_inprogress is zero, then there is no DMA in progress.  This

arch/arm/src/stm32f0l0/stm32_timerisr.c

@@ -111,7 +111,7 @@ static int stm32_timerisr(int irq, uint32_t *regs, FAR void *arg)
 {
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
   return 0;
 }
 

arch/arm/src/stm32f7/stm32_timerisr.c

@@ -108,7 +108,7 @@ static int stm32_timerisr(int irq, uint32_t *regs, void *arg)
 {
   /* Process timer interrupt */
 
-  sched_process_timer();
+  nxsched_process_timer();
   return 0;
 }