Merge pull request #13459 from 0xc0170/fix_platform_component

platform: fix internal platform headers

events/source/equeue_mbed.cpp

@@ -38,7 +38,7 @@ using namespace mbed;
 #if MBED_CONF_RTOS_API_PRESENT
 
 #include "rtos/Kernel.h"
-#include "platform/source/mbed_os_timer.h"
+#include "platform/internal/mbed_os_timer.h"
 
 void equeue_tick_init()
 {

platform/include/platform/internal/mbed_os_timer.h

@@ -18,7 +18,7 @@
 #define MBED_MBED_SLEEP_TIMER_H
 
 #include <chrono>
-#include "platform/source/SysTimer.h"
+#include "platform/internal/SysTimer.h"
 
 #if MBED_CONF_RTOS_PRESENT
 extern "C" {

platform/source/SysTimer.cpp

@@ -22,7 +22,7 @@
 #include "mbed_assert.h"
 #include "platform/mbed_power_mgmt.h"
 #include "platform/CriticalSectionLock.h"
-#include "platform/source/SysTimer.h"
+#include "platform/internal/SysTimer.h"
 extern "C" {
 #if MBED_CONF_RTOS_PRESENT
 #include "rtx_lib.h"

platform/source/mbed_error.c

@@ -22,11 +22,11 @@
 #include "platform/mbed_atomic.h"
 #include "platform/mbed_critical.h"
 #include "platform/mbed_error.h"
-#include "platform/source/mbed_error_hist.h"
 #include "platform/mbed_interface.h"
 #include "platform/mbed_power_mgmt.h"
 #include "platform/mbed_stats.h"
 #include "platform/internal/mbed_fault_handler.h"
+#include "platform/internal/mbed_error_hist.h"
 #include "drivers/MbedCRC.h"
 #include "mbed_rtx.h"
 #ifdef MBED_CONF_RTOS_PRESENT

platform/source/mbed_error_hist.c

@@ -21,7 +21,7 @@
 #include "platform/mbed_critical.h"
 
 #if MBED_CONF_PLATFORM_ERROR_HIST_ENABLED
-#include "platform/source/mbed_error_hist.h"
+#include "platform/internal/mbed_error_hist.h"
 
 static mbed_error_ctx mbed_error_ctx_log[MBED_CONF_PLATFORM_ERROR_HIST_SIZE] = {0};
 static int error_log_count = -1;

platform/source/mbed_os_timer.cpp

@@ -16,9 +16,9 @@
  */
 
 #include "platform/mbed_power_mgmt.h"
-#include "platform/source/mbed_os_timer.h"
 #include "platform/CriticalSectionLock.h"
-#include "platform/source/SysTimer.h"
+#include "platform/internal/SysTimer.h"
+#include "platform/internal/mbed_os_timer.h"
 #include "us_ticker_api.h"
 #include "lp_ticker_api.h"
 #include "mbed_critical.h"

platform/source/mbed_thread.cpp

@@ -17,7 +17,7 @@
 
 #include "platform/mbed_thread.h"
 #include "platform/mbed_critical.h"
-#include "platform/source/mbed_os_timer.h"
+#include "platform/internal/mbed_os_timer.h"
 
 /* If the RTOS is present, we call the RTOS API to do the work */
 /* If the RTOS is not present, the RTOS API calls us to do the work */

rtos/include/rtos/Kernel.h

@@ -28,7 +28,7 @@
 #include "rtos/mbed_rtos_types.h"
 #include "platform/mbed_toolchain.h"
 #if !MBED_CONF_RTOS_PRESENT
-#include "platform/source/mbed_os_timer.h"
+#include "platform/internal/mbed_os_timer.h"
 #endif
 
 

rtos/source/EventFlags.cpp

@@ -22,7 +22,7 @@
  */
 #include "rtos/EventFlags.h"
 #include "rtos/ThisThread.h"
-#include "mbed_os_timer.h"
+#include "platform/internal/mbed_os_timer.h"
 #include <string.h>
 #include "platform/mbed_error.h"
 #include "platform/mbed_assert.h"

rtos/source/Kernel.cpp

@@ -25,7 +25,7 @@
 #include "rtos_idle.h"
 #include "rtos_handlers.h"
 #include "platform/mbed_critical.h"
-#include "platform/source/mbed_os_timer.h"
+#include "platform/internal/mbed_os_timer.h"
 
 #if !MBED_CONF_RTOS_PRESENT
 /* If the RTOS is not present, we call mbed_thread.cpp to do the work */

rtos/source/Semaphore.cpp

@@ -25,7 +25,7 @@
 #include "platform/mbed_assert.h"
 #include "platform/mbed_critical.h"
 #include "platform/mbed_error.h"
-#include "platform/source/mbed_os_timer.h"
+#include "platform/internal/mbed_os_timer.h"
 
 #include <string.h>
 

rtos/source/TARGET_CORTEX/mbed_rtx_idle.cpp

@@ -24,7 +24,7 @@
 #include "rtos/source/rtos_idle.h"
 #include "rtos/Kernel.h"
 #include "platform/mbed_power_mgmt.h"
-#include "platform/source/mbed_os_timer.h"
+#include "platform/internal/mbed_os_timer.h"
 #include "TimerEvent.h"
 #include "mbed_critical.h"
 #include "mbed_assert.h"

rtos/source/ThisThread.cpp

@@ -29,7 +29,7 @@
 #include "platform/CriticalSectionLock.h"
 #include "platform/mbed_assert.h"
 #include "platform/mbed_critical.h"
-#include "platform/source/mbed_os_timer.h"
+#include "platform/internal/mbed_os_timer.h"
 
 using std::milli;
 using std::chrono::duration;

rtos/tests/TESTS/mbedmicro-rtos-mbed/systimer/main.cpp

@@ -21,7 +21,7 @@
 #include "utest.h"
 #include "ticker_api.h"
 
-#include "platform/source/SysTimer.h"
+#include "platform/internal/SysTimer.h"
 
 using namespace std::chrono;