summaryrefslogtreecommitdiff
path: root/nuttx/arch/arm
diff options
context:
space:
mode:
Diffstat (limited to 'nuttx/arch/arm')
-rw-r--r--nuttx/arch/arm/src/a1x/a1x_irq.c1
-rw-r--r--nuttx/arch/arm/src/a1x/a1x_serial.c1
-rw-r--r--nuttx/arch/arm/src/arm/up_copyfullstate.c2
-rw-r--r--nuttx/arch/arm/src/arm/up_doirq.c1
-rw-r--r--nuttx/arch/arm/src/arm/up_syscall.c3
-rw-r--r--nuttx/arch/arm/src/arm/up_undefinedinsn.c5
-rw-r--r--nuttx/arch/arm/src/armv6-m/up_copyfullstate.c2
-rw-r--r--nuttx/arch/arm/src/armv6-m/up_doirq.c1
-rw-r--r--nuttx/arch/arm/src/armv6-m/up_hardfault.c1
-rw-r--r--nuttx/arch/arm/src/armv6-m/up_svcall.c1
-rw-r--r--nuttx/arch/arm/src/armv7-a/arm_copyarmstate.c3
-rw-r--r--nuttx/arch/arm/src/armv7-a/arm_copyfullstate.c2
-rw-r--r--nuttx/arch/arm/src/armv7-a/arm_doirq.c1
-rw-r--r--nuttx/arch/arm/src/armv7-a/arm_syscall.c3
-rw-r--r--nuttx/arch/arm/src/armv7-a/arm_undefinedinsn.c5
-rw-r--r--nuttx/arch/arm/src/armv7-m/up_copyarmstate.c3
-rw-r--r--nuttx/arch/arm/src/armv7-m/up_copyfullstate.c2
-rw-r--r--nuttx/arch/arm/src/armv7-m/up_doirq.c1
-rw-r--r--nuttx/arch/arm/src/armv7-m/up_hardfault.c1
-rw-r--r--nuttx/arch/arm/src/armv7-m/up_memfault.c1
-rw-r--r--nuttx/arch/arm/src/armv7-m/up_svcall.c1
-rw-r--r--nuttx/arch/arm/src/c5471/c5471_irq.c1
-rw-r--r--nuttx/arch/arm/src/c5471/c5471_serial.c1
-rw-r--r--nuttx/arch/arm/src/calypso/calypso_serial.c1
-rw-r--r--nuttx/arch/arm/src/common/up_releasestack.c3
-rw-r--r--nuttx/arch/arm/src/dm320/dm320_decodeirq.c1
-rw-r--r--nuttx/arch/arm/src/dm320/dm320_irq.c1
-rw-r--r--nuttx/arch/arm/src/dm320/dm320_serial.c1
-rw-r--r--nuttx/arch/arm/src/imx/imx_decodeirq.c1
-rw-r--r--nuttx/arch/arm/src/imx/imx_irq.c1
-rw-r--r--nuttx/arch/arm/src/imx/imx_serial.c1
-rw-r--r--nuttx/arch/arm/src/kinetis/kinetis_irq.c1
-rw-r--r--nuttx/arch/arm/src/kinetis/kinetis_serial.c1
-rw-r--r--nuttx/arch/arm/src/kl/kl_irq.c1
-rw-r--r--nuttx/arch/arm/src/kl/kl_serial.c1
-rw-r--r--nuttx/arch/arm/src/lpc17xx/lpc17_i2c.c1
-rw-r--r--nuttx/arch/arm/src/lpc17xx/lpc17_irq.c1
-rw-r--r--nuttx/arch/arm/src/lpc17xx/lpc17_serial.c1
-rw-r--r--nuttx/arch/arm/src/lpc214x/lpc214x_decodeirq.c1
-rw-r--r--nuttx/arch/arm/src/lpc214x/lpc214x_irq.c1
-rw-r--r--nuttx/arch/arm/src/lpc214x/lpc214x_serial.c1
-rw-r--r--nuttx/arch/arm/src/lpc214x/lpc214x_timerisr.c1
-rw-r--r--nuttx/arch/arm/src/lpc2378/lpc23xx_decodeirq.c1
-rw-r--r--nuttx/arch/arm/src/lpc2378/lpc23xx_i2c.c1
-rw-r--r--nuttx/arch/arm/src/lpc2378/lpc23xx_irq.c1
-rw-r--r--nuttx/arch/arm/src/lpc2378/lpc23xx_serial.c1
-rw-r--r--nuttx/arch/arm/src/lpc2378/lpc23xx_timerisr.c1
-rw-r--r--nuttx/arch/arm/src/lpc31xx/lpc31_decodeirq.c1
-rw-r--r--nuttx/arch/arm/src/lpc31xx/lpc31_irq.c1
-rw-r--r--nuttx/arch/arm/src/lpc31xx/lpc31_serial.c1
-rw-r--r--nuttx/arch/arm/src/lpc43xx/lpc43_i2c.c1
-rw-r--r--nuttx/arch/arm/src/lpc43xx/lpc43_irq.c1
-rw-r--r--nuttx/arch/arm/src/lpc43xx/lpc43_serial.c1
-rw-r--r--nuttx/arch/arm/src/nuc1xx/nuc_irq.c1
-rw-r--r--nuttx/arch/arm/src/nuc1xx/nuc_serial.c1
-rw-r--r--nuttx/arch/arm/src/sam34/sam_irq.c1
-rw-r--r--nuttx/arch/arm/src/sam34/sam_serial.c1
-rw-r--r--nuttx/arch/arm/src/sama5/sam_can.c1
-rw-r--r--nuttx/arch/arm/src/sama5/sam_dbgu.c1
-rw-r--r--nuttx/arch/arm/src/sama5/sam_irq.c1
-rw-r--r--nuttx/arch/arm/src/sama5/sam_serial.c1
-rw-r--r--nuttx/arch/arm/src/samd/sam_irq.c1
-rw-r--r--nuttx/arch/arm/src/samd/sam_serial.c1
-rw-r--r--nuttx/arch/arm/src/stm32/stm32_can.c1
-rw-r--r--nuttx/arch/arm/src/stm32/stm32_irq.c1
-rw-r--r--nuttx/arch/arm/src/stm32/stm32_serial.c1
-rw-r--r--nuttx/arch/arm/src/str71x/str71x_decodeirq.c1
-rw-r--r--nuttx/arch/arm/src/str71x/str71x_serial.c1
-rw-r--r--nuttx/arch/arm/src/str71x/str71x_xti.c1
-rw-r--r--nuttx/arch/arm/src/tiva/tiva_gpio.c1
-rw-r--r--nuttx/arch/arm/src/tiva/tiva_gpioirq.c1
-rw-r--r--nuttx/arch/arm/src/tiva/tiva_irq.c1
-rw-r--r--nuttx/arch/arm/src/tiva/tiva_serial.c1
73 files changed, 22 insertions, 73 deletions
diff --git a/nuttx/arch/arm/src/a1x/a1x_irq.c b/nuttx/arch/arm/src/a1x/a1x_irq.c
index 7f043568d..b4a69405c 100644
--- a/nuttx/arch/arm/src/a1x/a1x_irq.c
+++ b/nuttx/arch/arm/src/a1x/a1x_irq.c
@@ -48,7 +48,6 @@
#include <arch/irq.h>
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
#include "sctlr.h"
diff --git a/nuttx/arch/arm/src/a1x/a1x_serial.c b/nuttx/arch/arm/src/a1x/a1x_serial.c
index d2cc36642..f3a9d86c4 100644
--- a/nuttx/arch/arm/src/a1x/a1x_serial.c
+++ b/nuttx/arch/arm/src/a1x/a1x_serial.c
@@ -59,7 +59,6 @@
#include <arch/board/board.h>
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
#include "chip.h"
diff --git a/nuttx/arch/arm/src/arm/up_copyfullstate.c b/nuttx/arch/arm/src/arm/up_copyfullstate.c
index 3dffb8518..5a60f7a1a 100644
--- a/nuttx/arch/arm/src/arm/up_copyfullstate.c
+++ b/nuttx/arch/arm/src/arm/up_copyfullstate.c
@@ -40,8 +40,8 @@
#include <nuttx/config.h>
#include <stdint.h>
+#include <arch/irq.h>
-#include "os_internal.h"
#include "up_internal.h"
/****************************************************************************
diff --git a/nuttx/arch/arm/src/arm/up_doirq.c b/nuttx/arch/arm/src/arm/up_doirq.c
index c548a13b5..63bbac8d0 100644
--- a/nuttx/arch/arm/src/arm/up_doirq.c
+++ b/nuttx/arch/arm/src/arm/up_doirq.c
@@ -47,7 +47,6 @@
#include <arch/board/board.h>
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
/****************************************************************************
diff --git a/nuttx/arch/arm/src/arm/up_syscall.c b/nuttx/arch/arm/src/arm/up_syscall.c
index 35f7027dd..4d4110b12 100644
--- a/nuttx/arch/arm/src/arm/up_syscall.c
+++ b/nuttx/arch/arm/src/arm/up_syscall.c
@@ -42,8 +42,9 @@
#include <stdint.h>
#include <debug.h>
+#include <arch/irq.h>
+
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
/****************************************************************************
diff --git a/nuttx/arch/arm/src/arm/up_undefinedinsn.c b/nuttx/arch/arm/src/arm/up_undefinedinsn.c
index fa0da7352..bb80be9b2 100644
--- a/nuttx/arch/arm/src/arm/up_undefinedinsn.c
+++ b/nuttx/arch/arm/src/arm/up_undefinedinsn.c
@@ -38,10 +38,13 @@
****************************************************************************/
#include <nuttx/config.h>
+
#include <stdint.h>
+#include <assert.h>
#include <debug.h>
-#include "os_internal.h"
+#include <arch/irq.h>
+
#include "up_internal.h"
/****************************************************************************
diff --git a/nuttx/arch/arm/src/armv6-m/up_copyfullstate.c b/nuttx/arch/arm/src/armv6-m/up_copyfullstate.c
index 0747de452..0699462d8 100644
--- a/nuttx/arch/arm/src/armv6-m/up_copyfullstate.c
+++ b/nuttx/arch/arm/src/armv6-m/up_copyfullstate.c
@@ -40,8 +40,8 @@
#include <nuttx/config.h>
#include <stdint.h>
+#include <arch/irq.h>
-#include "os_internal.h"
#include "up_internal.h"
/****************************************************************************
diff --git a/nuttx/arch/arm/src/armv6-m/up_doirq.c b/nuttx/arch/arm/src/armv6-m/up_doirq.c
index b3694612b..c5656e621 100644
--- a/nuttx/arch/arm/src/armv6-m/up_doirq.c
+++ b/nuttx/arch/arm/src/armv6-m/up_doirq.c
@@ -47,7 +47,6 @@
#include <arch/board/board.h>
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
/****************************************************************************
diff --git a/nuttx/arch/arm/src/armv6-m/up_hardfault.c b/nuttx/arch/arm/src/armv6-m/up_hardfault.c
index 18126e2f4..988a4f13b 100644
--- a/nuttx/arch/arm/src/armv6-m/up_hardfault.c
+++ b/nuttx/arch/arm/src/armv6-m/up_hardfault.c
@@ -47,7 +47,6 @@
#include <arch/irq.h>
#include "up_arch.h"
-#include "os_internal.h"
#include "nvic.h"
#include "up_internal.h"
diff --git a/nuttx/arch/arm/src/armv6-m/up_svcall.c b/nuttx/arch/arm/src/armv6-m/up_svcall.c
index 2f643adf7..1b367259b 100644
--- a/nuttx/arch/arm/src/armv6-m/up_svcall.c
+++ b/nuttx/arch/arm/src/armv6-m/up_svcall.c
@@ -53,7 +53,6 @@
#include "svcall.h"
#include "exc_return.h"
-#include "os_internal.h"
#include "up_internal.h"
/****************************************************************************
diff --git a/nuttx/arch/arm/src/armv7-a/arm_copyarmstate.c b/nuttx/arch/arm/src/armv7-a/arm_copyarmstate.c
index 5de72aef9..0a9d8ca1b 100644
--- a/nuttx/arch/arm/src/armv7-a/arm_copyarmstate.c
+++ b/nuttx/arch/arm/src/armv7-a/arm_copyarmstate.c
@@ -41,7 +41,8 @@
#include <stdint.h>
-#include "os_internal.h"
+#include <arch/irq.h>
+
#include "up_internal.h"
#ifdef CONFIG_ARCH_FPU
diff --git a/nuttx/arch/arm/src/armv7-a/arm_copyfullstate.c b/nuttx/arch/arm/src/armv7-a/arm_copyfullstate.c
index cdc43a9bd..b41b3f2eb 100644
--- a/nuttx/arch/arm/src/armv7-a/arm_copyfullstate.c
+++ b/nuttx/arch/arm/src/armv7-a/arm_copyfullstate.c
@@ -40,8 +40,8 @@
#include <nuttx/config.h>
#include <stdint.h>
+#include <arch/irq.h>
-#include "os_internal.h"
#include "up_internal.h"
/****************************************************************************
diff --git a/nuttx/arch/arm/src/armv7-a/arm_doirq.c b/nuttx/arch/arm/src/armv7-a/arm_doirq.c
index 40b00626e..80dc1361e 100644
--- a/nuttx/arch/arm/src/armv7-a/arm_doirq.c
+++ b/nuttx/arch/arm/src/armv7-a/arm_doirq.c
@@ -47,7 +47,6 @@
#include <arch/board/board.h>
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
/****************************************************************************
diff --git a/nuttx/arch/arm/src/armv7-a/arm_syscall.c b/nuttx/arch/arm/src/armv7-a/arm_syscall.c
index 2c9c951d8..a165db1d1 100644
--- a/nuttx/arch/arm/src/armv7-a/arm_syscall.c
+++ b/nuttx/arch/arm/src/armv7-a/arm_syscall.c
@@ -42,8 +42,9 @@
#include <stdint.h>
#include <debug.h>
+#include <arch/irq.h>
+
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
/****************************************************************************
diff --git a/nuttx/arch/arm/src/armv7-a/arm_undefinedinsn.c b/nuttx/arch/arm/src/armv7-a/arm_undefinedinsn.c
index 5143f9bd5..a1af60a4c 100644
--- a/nuttx/arch/arm/src/armv7-a/arm_undefinedinsn.c
+++ b/nuttx/arch/arm/src/armv7-a/arm_undefinedinsn.c
@@ -38,10 +38,13 @@
****************************************************************************/
#include <nuttx/config.h>
+
#include <stdint.h>
+#include <assert.h>
#include <debug.h>
-#include "os_internal.h"
+#include <arch/irq.h>
+
#include "up_internal.h"
/****************************************************************************
diff --git a/nuttx/arch/arm/src/armv7-m/up_copyarmstate.c b/nuttx/arch/arm/src/armv7-m/up_copyarmstate.c
index b705be5ea..c5af56c9e 100644
--- a/nuttx/arch/arm/src/armv7-m/up_copyarmstate.c
+++ b/nuttx/arch/arm/src/armv7-m/up_copyarmstate.c
@@ -41,7 +41,8 @@
#include <stdint.h>
-#include "os_internal.h"
+#include <arch/irq.h>
+
#include "up_internal.h"
#if defined(CONFIG_ARCH_FPU) && !defined(CONFIG_ARMV7M_CMNVECTOR)
diff --git a/nuttx/arch/arm/src/armv7-m/up_copyfullstate.c b/nuttx/arch/arm/src/armv7-m/up_copyfullstate.c
index 7f320f842..e3618d486 100644
--- a/nuttx/arch/arm/src/armv7-m/up_copyfullstate.c
+++ b/nuttx/arch/arm/src/armv7-m/up_copyfullstate.c
@@ -40,8 +40,8 @@
#include <nuttx/config.h>
#include <stdint.h>
+#include <arch/irq.h>
-#include "os_internal.h"
#include "up_internal.h"
/****************************************************************************
diff --git a/nuttx/arch/arm/src/armv7-m/up_doirq.c b/nuttx/arch/arm/src/armv7-m/up_doirq.c
index afad0c0d0..175994654 100644
--- a/nuttx/arch/arm/src/armv7-m/up_doirq.c
+++ b/nuttx/arch/arm/src/armv7-m/up_doirq.c
@@ -47,7 +47,6 @@
#include <arch/board/board.h>
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
/****************************************************************************
diff --git a/nuttx/arch/arm/src/armv7-m/up_hardfault.c b/nuttx/arch/arm/src/armv7-m/up_hardfault.c
index 1fab28040..732c2ca0e 100644
--- a/nuttx/arch/arm/src/armv7-m/up_hardfault.c
+++ b/nuttx/arch/arm/src/armv7-m/up_hardfault.c
@@ -48,7 +48,6 @@
#include <arch/irq.h>
#include "up_arch.h"
-#include "os_internal.h"
#include "nvic.h"
#include "up_internal.h"
diff --git a/nuttx/arch/arm/src/armv7-m/up_memfault.c b/nuttx/arch/arm/src/armv7-m/up_memfault.c
index 8d5fdb461..7ac5cd088 100644
--- a/nuttx/arch/arm/src/armv7-m/up_memfault.c
+++ b/nuttx/arch/arm/src/armv7-m/up_memfault.c
@@ -45,7 +45,6 @@
#include <arch/irq.h>
#include "up_arch.h"
-#include "os_internal.h"
#include "nvic.h"
#include "up_internal.h"
diff --git a/nuttx/arch/arm/src/armv7-m/up_svcall.c b/nuttx/arch/arm/src/armv7-m/up_svcall.c
index bae1b17d0..be33b675d 100644
--- a/nuttx/arch/arm/src/armv7-m/up_svcall.c
+++ b/nuttx/arch/arm/src/armv7-m/up_svcall.c
@@ -53,7 +53,6 @@
#include "svcall.h"
#include "exc_return.h"
-#include "os_internal.h"
#include "up_internal.h"
/****************************************************************************
diff --git a/nuttx/arch/arm/src/c5471/c5471_irq.c b/nuttx/arch/arm/src/c5471/c5471_irq.c
index fc7f83e08..7f0f3a668 100644
--- a/nuttx/arch/arm/src/c5471/c5471_irq.c
+++ b/nuttx/arch/arm/src/c5471/c5471_irq.c
@@ -45,7 +45,6 @@
#include "arm.h"
#include "chip.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
/****************************************************************************
diff --git a/nuttx/arch/arm/src/c5471/c5471_serial.c b/nuttx/arch/arm/src/c5471/c5471_serial.c
index f1b9f7b70..81cb08467 100644
--- a/nuttx/arch/arm/src/c5471/c5471_serial.c
+++ b/nuttx/arch/arm/src/c5471/c5471_serial.c
@@ -55,7 +55,6 @@
#include "chip.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
/****************************************************************************
diff --git a/nuttx/arch/arm/src/calypso/calypso_serial.c b/nuttx/arch/arm/src/calypso/calypso_serial.c
index d3f9cf590..0fceb344d 100644
--- a/nuttx/arch/arm/src/calypso/calypso_serial.c
+++ b/nuttx/arch/arm/src/calypso/calypso_serial.c
@@ -59,7 +59,6 @@
#include "chip.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
/****************************************************************************
diff --git a/nuttx/arch/arm/src/common/up_releasestack.c b/nuttx/arch/arm/src/common/up_releasestack.c
index 9ab872d33..9668ec245 100644
--- a/nuttx/arch/arm/src/common/up_releasestack.c
+++ b/nuttx/arch/arm/src/common/up_releasestack.c
@@ -41,9 +41,10 @@
#include <sched.h>
#include <debug.h>
+
#include <nuttx/arch.h>
+#include <nuttx/kmalloc.h>
-#include "os_internal.h"
#include "up_internal.h"
/****************************************************************************
diff --git a/nuttx/arch/arm/src/dm320/dm320_decodeirq.c b/nuttx/arch/arm/src/dm320/dm320_decodeirq.c
index c29207a5b..8c5bd38ae 100644
--- a/nuttx/arch/arm/src/dm320/dm320_decodeirq.c
+++ b/nuttx/arch/arm/src/dm320/dm320_decodeirq.c
@@ -48,7 +48,6 @@
#include "chip.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
/********************************************************************************
diff --git a/nuttx/arch/arm/src/dm320/dm320_irq.c b/nuttx/arch/arm/src/dm320/dm320_irq.c
index 2fb41475d..e909571f3 100644
--- a/nuttx/arch/arm/src/dm320/dm320_irq.c
+++ b/nuttx/arch/arm/src/dm320/dm320_irq.c
@@ -46,7 +46,6 @@
#include "chip.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
/************************************************************************
diff --git a/nuttx/arch/arm/src/dm320/dm320_serial.c b/nuttx/arch/arm/src/dm320/dm320_serial.c
index be74e227f..e8a620c86 100644
--- a/nuttx/arch/arm/src/dm320/dm320_serial.c
+++ b/nuttx/arch/arm/src/dm320/dm320_serial.c
@@ -57,7 +57,6 @@
#include "chip.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
#ifdef USE_SERIALDRIVER
diff --git a/nuttx/arch/arm/src/imx/imx_decodeirq.c b/nuttx/arch/arm/src/imx/imx_decodeirq.c
index dc2326524..fea7bd621 100644
--- a/nuttx/arch/arm/src/imx/imx_decodeirq.c
+++ b/nuttx/arch/arm/src/imx/imx_decodeirq.c
@@ -48,7 +48,6 @@
#include "chip.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
/********************************************************************************
diff --git a/nuttx/arch/arm/src/imx/imx_irq.c b/nuttx/arch/arm/src/imx/imx_irq.c
index 6715a4ad7..9e0fe124f 100644
--- a/nuttx/arch/arm/src/imx/imx_irq.c
+++ b/nuttx/arch/arm/src/imx/imx_irq.c
@@ -45,7 +45,6 @@
#include "chip.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
/****************************************************************************
diff --git a/nuttx/arch/arm/src/imx/imx_serial.c b/nuttx/arch/arm/src/imx/imx_serial.c
index b5939fad7..b4206a3fb 100644
--- a/nuttx/arch/arm/src/imx/imx_serial.c
+++ b/nuttx/arch/arm/src/imx/imx_serial.c
@@ -58,7 +58,6 @@
#include "chip.h"
#include "up_arch.h"
#include "imx_gpio.h"
-#include "os_internal.h"
#include "up_internal.h"
#ifdef USE_SERIALDRIVER
diff --git a/nuttx/arch/arm/src/kinetis/kinetis_irq.c b/nuttx/arch/arm/src/kinetis/kinetis_irq.c
index cc805293a..3d304ebad 100644
--- a/nuttx/arch/arm/src/kinetis/kinetis_irq.c
+++ b/nuttx/arch/arm/src/kinetis/kinetis_irq.c
@@ -49,7 +49,6 @@
#include "nvic.h"
#include "ram_vectors.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
#include "kinetis_internal.h"
diff --git a/nuttx/arch/arm/src/kinetis/kinetis_serial.c b/nuttx/arch/arm/src/kinetis/kinetis_serial.c
index 0df9b88ab..b674e9a4e 100644
--- a/nuttx/arch/arm/src/kinetis/kinetis_serial.c
+++ b/nuttx/arch/arm/src/kinetis/kinetis_serial.c
@@ -56,7 +56,6 @@
#include "up_arch.h"
#include "up_internal.h"
-#include "os_internal.h"
#include "kinetis_config.h"
#include "chip.h"
diff --git a/nuttx/arch/arm/src/kl/kl_irq.c b/nuttx/arch/arm/src/kl/kl_irq.c
index 4c910a15f..493e3cb95 100644
--- a/nuttx/arch/arm/src/kl/kl_irq.c
+++ b/nuttx/arch/arm/src/kl/kl_irq.c
@@ -48,7 +48,6 @@
#include "nvic.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
#include "kl_irq.h"
diff --git a/nuttx/arch/arm/src/kl/kl_serial.c b/nuttx/arch/arm/src/kl/kl_serial.c
index 262167e1f..eb4501e4a 100644
--- a/nuttx/arch/arm/src/kl/kl_serial.c
+++ b/nuttx/arch/arm/src/kl/kl_serial.c
@@ -56,7 +56,6 @@
#include "up_arch.h"
#include "up_internal.h"
-#include "os_internal.h"
#include "kl_config.h"
#include "kl_lowputc.h"
diff --git a/nuttx/arch/arm/src/lpc17xx/lpc17_i2c.c b/nuttx/arch/arm/src/lpc17xx/lpc17_i2c.c
index 82b0cc6c9..c4c5917ed 100644
--- a/nuttx/arch/arm/src/lpc17xx/lpc17_i2c.c
+++ b/nuttx/arch/arm/src/lpc17xx/lpc17_i2c.c
@@ -64,7 +64,6 @@
#include "up_arch.h"
#include "up_internal.h"
-#include "os_internal.h"
#include "chip.h"
#include "chip/lpc17_syscon.h"
diff --git a/nuttx/arch/arm/src/lpc17xx/lpc17_irq.c b/nuttx/arch/arm/src/lpc17xx/lpc17_irq.c
index 93b3b2de8..29f398c8e 100644
--- a/nuttx/arch/arm/src/lpc17xx/lpc17_irq.c
+++ b/nuttx/arch/arm/src/lpc17xx/lpc17_irq.c
@@ -49,7 +49,6 @@
#include "nvic.h"
#include "ram_vectors.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
#include "lpc17_gpio.h"
diff --git a/nuttx/arch/arm/src/lpc17xx/lpc17_serial.c b/nuttx/arch/arm/src/lpc17xx/lpc17_serial.c
index 86e5b2187..55d85849c 100644
--- a/nuttx/arch/arm/src/lpc17xx/lpc17_serial.c
+++ b/nuttx/arch/arm/src/lpc17xx/lpc17_serial.c
@@ -59,7 +59,6 @@
#include <arch/board/board.h>
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
#include "chip.h"
diff --git a/nuttx/arch/arm/src/lpc214x/lpc214x_decodeirq.c b/nuttx/arch/arm/src/lpc214x/lpc214x_decodeirq.c
index 7886e5500..ea0eb5683 100644
--- a/nuttx/arch/arm/src/lpc214x/lpc214x_decodeirq.c
+++ b/nuttx/arch/arm/src/lpc214x/lpc214x_decodeirq.c
@@ -47,7 +47,6 @@
#include "chip.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
#include "lpc214x_vic.h"
diff --git a/nuttx/arch/arm/src/lpc214x/lpc214x_irq.c b/nuttx/arch/arm/src/lpc214x/lpc214x_irq.c
index cb0f6e12f..0f7f94006 100644
--- a/nuttx/arch/arm/src/lpc214x/lpc214x_irq.c
+++ b/nuttx/arch/arm/src/lpc214x/lpc214x_irq.c
@@ -46,7 +46,6 @@
#include "arm.h"
#include "chip.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
#include "lpc214x_vic.h"
diff --git a/nuttx/arch/arm/src/lpc214x/lpc214x_serial.c b/nuttx/arch/arm/src/lpc214x/lpc214x_serial.c
index 214eb0347..e778dff70 100644
--- a/nuttx/arch/arm/src/lpc214x/lpc214x_serial.c
+++ b/nuttx/arch/arm/src/lpc214x/lpc214x_serial.c
@@ -54,7 +54,6 @@
#include "chip.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
#include "lpc214x_pinsel.h"
diff --git a/nuttx/arch/arm/src/lpc214x/lpc214x_timerisr.c b/nuttx/arch/arm/src/lpc214x/lpc214x_timerisr.c
index f80bce018..4307304bc 100644
--- a/nuttx/arch/arm/src/lpc214x/lpc214x_timerisr.c
+++ b/nuttx/arch/arm/src/lpc214x/lpc214x_timerisr.c
@@ -140,7 +140,6 @@ void up_timer_initialize(void)
tmr_putreg32(0, LPC214X_TMR_PR_OFFSET);
/* Set timer match registger to get a TICK_PER_SEC rate
- * See arch/board.h and sched/os_internal.h
*/
tmr_putreg32(LPC214X_PCLKFREQ/TICK_PER_SEC, LPC214X_TMR_MR0_OFFSET);
diff --git a/nuttx/arch/arm/src/lpc2378/lpc23xx_decodeirq.c b/nuttx/arch/arm/src/lpc2378/lpc23xx_decodeirq.c
index 75e6c98b4..85e0d3a1a 100644
--- a/nuttx/arch/arm/src/lpc2378/lpc23xx_decodeirq.c
+++ b/nuttx/arch/arm/src/lpc2378/lpc23xx_decodeirq.c
@@ -54,7 +54,6 @@
#include <arch/board/board.h>
#include "up_arch.h"
-#include "os_internal.h"
#include "internal.h"
#include "lpc23xx_vic.h"
diff --git a/nuttx/arch/arm/src/lpc2378/lpc23xx_i2c.c b/nuttx/arch/arm/src/lpc2378/lpc23xx_i2c.c
index 950ab818a..2299eb841 100644
--- a/nuttx/arch/arm/src/lpc2378/lpc23xx_i2c.c
+++ b/nuttx/arch/arm/src/lpc2378/lpc23xx_i2c.c
@@ -70,7 +70,6 @@
#include "chip.h"
#include "up_arch.h"
#include "up_internal.h"
-#include "os_internal.h"
#include "lpc23xx_pinsel.h"
#include "lpc23xx_scb.h"
diff --git a/nuttx/arch/arm/src/lpc2378/lpc23xx_irq.c b/nuttx/arch/arm/src/lpc2378/lpc23xx_irq.c
index 24ed2e7a9..5274ee4ee 100644
--- a/nuttx/arch/arm/src/lpc2378/lpc23xx_irq.c
+++ b/nuttx/arch/arm/src/lpc2378/lpc23xx_irq.c
@@ -52,7 +52,6 @@
#include "arm.h"
#include "chip.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "internal.h"
#include "lpc23xx_vic.h"
diff --git a/nuttx/arch/arm/src/lpc2378/lpc23xx_serial.c b/nuttx/arch/arm/src/lpc2378/lpc23xx_serial.c
index 17b6bc0b2..4e78690ef 100644
--- a/nuttx/arch/arm/src/lpc2378/lpc23xx_serial.c
+++ b/nuttx/arch/arm/src/lpc2378/lpc23xx_serial.c
@@ -60,7 +60,6 @@
#include "chip.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "internal.h"
#include "lpc23xx_scb.h"
diff --git a/nuttx/arch/arm/src/lpc2378/lpc23xx_timerisr.c b/nuttx/arch/arm/src/lpc2378/lpc23xx_timerisr.c
index 9005283d1..594a6f761 100644
--- a/nuttx/arch/arm/src/lpc2378/lpc23xx_timerisr.c
+++ b/nuttx/arch/arm/src/lpc2378/lpc23xx_timerisr.c
@@ -172,7 +172,6 @@ void up_timer_initialize(void)
tmr_putreg32(0, TMR_PC_OFFSET);
/* Set timer match register to get a TICK_PER_SEC rate See arch/board.h and
- * sched/os_internal.h
*/
tmr_putreg32(T0_TICKS_COUNT, TMR_MR0_OFFSET); /* 10ms Intterrupt */
diff --git a/nuttx/arch/arm/src/lpc31xx/lpc31_decodeirq.c b/nuttx/arch/arm/src/lpc31xx/lpc31_decodeirq.c
index 1929d864d..054c8c2fa 100644
--- a/nuttx/arch/arm/src/lpc31xx/lpc31_decodeirq.c
+++ b/nuttx/arch/arm/src/lpc31xx/lpc31_decodeirq.c
@@ -49,7 +49,6 @@
#include "chip.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
#include "lpc31_intc.h"
diff --git a/nuttx/arch/arm/src/lpc31xx/lpc31_irq.c b/nuttx/arch/arm/src/lpc31xx/lpc31_irq.c
index ec1f7bbdb..6a992c69f 100644
--- a/nuttx/arch/arm/src/lpc31xx/lpc31_irq.c
+++ b/nuttx/arch/arm/src/lpc31xx/lpc31_irq.c
@@ -49,7 +49,6 @@
#include "arm.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
#include "lpc31_intc.h"
diff --git a/nuttx/arch/arm/src/lpc31xx/lpc31_serial.c b/nuttx/arch/arm/src/lpc31xx/lpc31_serial.c
index e4d6941ca..eaab23268 100644
--- a/nuttx/arch/arm/src/lpc31xx/lpc31_serial.c
+++ b/nuttx/arch/arm/src/lpc31xx/lpc31_serial.c
@@ -54,7 +54,6 @@
#include <arch/serial.h>
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
#include "lpc31_cgudrvr.h"
diff --git a/nuttx/arch/arm/src/lpc43xx/lpc43_i2c.c b/nuttx/arch/arm/src/lpc43xx/lpc43_i2c.c
index 1dc8b7679..5ba665ccf 100644
--- a/nuttx/arch/arm/src/lpc43xx/lpc43_i2c.c
+++ b/nuttx/arch/arm/src/lpc43xx/lpc43_i2c.c
@@ -70,7 +70,6 @@
#include "chip.h"
#include "up_arch.h"
#include "up_internal.h"
-#include "os_internal.h"
#include "lpc43_syscon.h"
#include "lpc43_pinconn.h"
diff --git a/nuttx/arch/arm/src/lpc43xx/lpc43_irq.c b/nuttx/arch/arm/src/lpc43xx/lpc43_irq.c
index 0827b22cc..e5a7937a7 100644
--- a/nuttx/arch/arm/src/lpc43xx/lpc43_irq.c
+++ b/nuttx/arch/arm/src/lpc43xx/lpc43_irq.c
@@ -50,7 +50,6 @@
#include "nvic.h"
#include "ram_vectors.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
#include "lpc43_irq.h"
diff --git a/nuttx/arch/arm/src/lpc43xx/lpc43_serial.c b/nuttx/arch/arm/src/lpc43xx/lpc43_serial.c
index 896e1f738..6aea82a43 100644
--- a/nuttx/arch/arm/src/lpc43xx/lpc43_serial.c
+++ b/nuttx/arch/arm/src/lpc43xx/lpc43_serial.c
@@ -61,7 +61,6 @@
#include "chip.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
#include "lpc43_config.h"
diff --git a/nuttx/arch/arm/src/nuc1xx/nuc_irq.c b/nuttx/arch/arm/src/nuc1xx/nuc_irq.c
index ee4ce2bd9..ae1a84f8e 100644
--- a/nuttx/arch/arm/src/nuc1xx/nuc_irq.c
+++ b/nuttx/arch/arm/src/nuc1xx/nuc_irq.c
@@ -48,7 +48,6 @@
#include "nvic.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
#include "nuc_irq.h"
diff --git a/nuttx/arch/arm/src/nuc1xx/nuc_serial.c b/nuttx/arch/arm/src/nuc1xx/nuc_serial.c
index 25b7f6060..f068573a3 100644
--- a/nuttx/arch/arm/src/nuc1xx/nuc_serial.c
+++ b/nuttx/arch/arm/src/nuc1xx/nuc_serial.c
@@ -60,7 +60,6 @@
#include <arch/board/board.h>
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
#include "chip.h"
diff --git a/nuttx/arch/arm/src/sam34/sam_irq.c b/nuttx/arch/arm/src/sam34/sam_irq.c
index 575caa3e4..9b84f031d 100644
--- a/nuttx/arch/arm/src/sam34/sam_irq.c
+++ b/nuttx/arch/arm/src/sam34/sam_irq.c
@@ -49,7 +49,6 @@
#include "nvic.h"
#include "ram_vectors.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
#ifdef CONFIG_SAM34_GPIO_IRQ
diff --git a/nuttx/arch/arm/src/sam34/sam_serial.c b/nuttx/arch/arm/src/sam34/sam_serial.c
index 60d2a6b35..745fada33 100644
--- a/nuttx/arch/arm/src/sam34/sam_serial.c
+++ b/nuttx/arch/arm/src/sam34/sam_serial.c
@@ -57,7 +57,6 @@
#include "up_arch.h"
#include "up_internal.h"
-#include "os_internal.h"
#include "chip.h"
diff --git a/nuttx/arch/arm/src/sama5/sam_can.c b/nuttx/arch/arm/src/sama5/sam_can.c
index 77274526f..cb83d223f 100644
--- a/nuttx/arch/arm/src/sama5/sam_can.c
+++ b/nuttx/arch/arm/src/sama5/sam_can.c
@@ -65,7 +65,6 @@
#include "up_internal.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "chip/sam_pinmap.h"
#include "sam_periphclks.h"
diff --git a/nuttx/arch/arm/src/sama5/sam_dbgu.c b/nuttx/arch/arm/src/sama5/sam_dbgu.c
index 919260616..cccad0e0b 100644
--- a/nuttx/arch/arm/src/sama5/sam_dbgu.c
+++ b/nuttx/arch/arm/src/sama5/sam_dbgu.c
@@ -57,7 +57,6 @@
#include "up_arch.h"
#include "up_internal.h"
-#include "os_internal.h"
#include "chip.h"
#include "chip/sam_dbgu.h"
diff --git a/nuttx/arch/arm/src/sama5/sam_irq.c b/nuttx/arch/arm/src/sama5/sam_irq.c
index 88d426ce1..f9e0d2f66 100644
--- a/nuttx/arch/arm/src/sama5/sam_irq.c
+++ b/nuttx/arch/arm/src/sama5/sam_irq.c
@@ -47,7 +47,6 @@
#include <arch/irq.h>
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
#ifdef CONFIG_SAMA5_PIO_IRQ
diff --git a/nuttx/arch/arm/src/sama5/sam_serial.c b/nuttx/arch/arm/src/sama5/sam_serial.c
index 479caf5b0..afa711dcd 100644
--- a/nuttx/arch/arm/src/sama5/sam_serial.c
+++ b/nuttx/arch/arm/src/sama5/sam_serial.c
@@ -57,7 +57,6 @@
#include "up_arch.h"
#include "up_internal.h"
-#include "os_internal.h"
#include "chip.h"
#include "chip/sam_uart.h"
diff --git a/nuttx/arch/arm/src/samd/sam_irq.c b/nuttx/arch/arm/src/samd/sam_irq.c
index 000f58b62..9797a08bf 100644
--- a/nuttx/arch/arm/src/samd/sam_irq.c
+++ b/nuttx/arch/arm/src/samd/sam_irq.c
@@ -48,7 +48,6 @@
#include "nvic.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
#include "sam_irq.h"
diff --git a/nuttx/arch/arm/src/samd/sam_serial.c b/nuttx/arch/arm/src/samd/sam_serial.c
index d6c448e56..7e9c25396 100644
--- a/nuttx/arch/arm/src/samd/sam_serial.c
+++ b/nuttx/arch/arm/src/samd/sam_serial.c
@@ -57,7 +57,6 @@
#include "up_arch.h"
#include "up_internal.h"
-#include "os_internal.h"
#include "chip.h"
#include "sam_config.h"
diff --git a/nuttx/arch/arm/src/stm32/stm32_can.c b/nuttx/arch/arm/src/stm32/stm32_can.c
index 6c88c6b33..31062b4b2 100644
--- a/nuttx/arch/arm/src/stm32/stm32_can.c
+++ b/nuttx/arch/arm/src/stm32/stm32_can.c
@@ -54,7 +54,6 @@
#include "up_internal.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "chip.h"
#include "stm32.h"
diff --git a/nuttx/arch/arm/src/stm32/stm32_irq.c b/nuttx/arch/arm/src/stm32/stm32_irq.c
index f815fe5be..318ab6c43 100644
--- a/nuttx/arch/arm/src/stm32/stm32_irq.c
+++ b/nuttx/arch/arm/src/stm32/stm32_irq.c
@@ -50,7 +50,6 @@
#include "nvic.h"
#include "ram_vectors.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
#include "stm32.h"
diff --git a/nuttx/arch/arm/src/stm32/stm32_serial.c b/nuttx/arch/arm/src/stm32/stm32_serial.c
index f5c4ce06d..097b2ec6e 100644
--- a/nuttx/arch/arm/src/stm32/stm32_serial.c
+++ b/nuttx/arch/arm/src/stm32/stm32_serial.c
@@ -66,7 +66,6 @@
#include "stm32_rcc.h"
#include "up_arch.h"
#include "up_internal.h"
-#include "os_internal.h"
/****************************************************************************
* Definitions
diff --git a/nuttx/arch/arm/src/str71x/str71x_decodeirq.c b/nuttx/arch/arm/src/str71x/str71x_decodeirq.c
index 2316c33e6..0eacccf9c 100644
--- a/nuttx/arch/arm/src/str71x/str71x_decodeirq.c
+++ b/nuttx/arch/arm/src/str71x/str71x_decodeirq.c
@@ -49,7 +49,6 @@
#include "chip.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
/********************************************************************************
diff --git a/nuttx/arch/arm/src/str71x/str71x_serial.c b/nuttx/arch/arm/src/str71x/str71x_serial.c
index d8f4ea1f1..bfa11b559 100644
--- a/nuttx/arch/arm/src/str71x/str71x_serial.c
+++ b/nuttx/arch/arm/src/str71x/str71x_serial.c
@@ -55,7 +55,6 @@
#include "chip.h"
#include "up_arch.h"
#include "up_internal.h"
-#include "os_internal.h"
#include "str71x_internal.h"
diff --git a/nuttx/arch/arm/src/str71x/str71x_xti.c b/nuttx/arch/arm/src/str71x/str71x_xti.c
index 118b0448b..c61483fc7 100644
--- a/nuttx/arch/arm/src/str71x/str71x_xti.c
+++ b/nuttx/arch/arm/src/str71x/str71x_xti.c
@@ -50,7 +50,6 @@
#include "chip.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
#include "str71x_internal.h"
diff --git a/nuttx/arch/arm/src/tiva/tiva_gpio.c b/nuttx/arch/arm/src/tiva/tiva_gpio.c
index e61d9f1b1..e8a7c524f 100644
--- a/nuttx/arch/arm/src/tiva/tiva_gpio.c
+++ b/nuttx/arch/arm/src/tiva/tiva_gpio.c
@@ -48,7 +48,6 @@
#include <arch/irq.h>
#include "up_arch.h"
-#include "os_internal.h"
#include "tiva_gpio.h"
/****************************************************************************
diff --git a/nuttx/arch/arm/src/tiva/tiva_gpioirq.c b/nuttx/arch/arm/src/tiva/tiva_gpioirq.c
index 1a284a2f7..9e99d5e43 100644
--- a/nuttx/arch/arm/src/tiva/tiva_gpioirq.c
+++ b/nuttx/arch/arm/src/tiva/tiva_gpioirq.c
@@ -47,7 +47,6 @@
#include <arch/irq.h>
#include "up_arch.h"
-#include "os_internal.h"
#include "irq/irq.h"
#include "tiva_gpio.h"
diff --git a/nuttx/arch/arm/src/tiva/tiva_irq.c b/nuttx/arch/arm/src/tiva/tiva_irq.c
index 501d8691c..dd36100c0 100644
--- a/nuttx/arch/arm/src/tiva/tiva_irq.c
+++ b/nuttx/arch/arm/src/tiva/tiva_irq.c
@@ -49,7 +49,6 @@
#include "nvic.h"
#include "ram_vectors.h"
#include "up_arch.h"
-#include "os_internal.h"
#include "up_internal.h"
#include "chip.h"
diff --git a/nuttx/arch/arm/src/tiva/tiva_serial.c b/nuttx/arch/arm/src/tiva/tiva_serial.c
index 868976b8a..161bd0da3 100644
--- a/nuttx/arch/arm/src/tiva/tiva_serial.c
+++ b/nuttx/arch/arm/src/tiva/tiva_serial.c
@@ -58,7 +58,6 @@
#include "chip.h"
#include "up_arch.h"
#include "up_internal.h"
-#include "os_internal.h"
#include "tiva_lowputc.h"