platform: move internal headers to internal/

They belong to internal folder to follow our guideline, not in source as they were.

Author: 0xc0170

platform/source/SysTimer.h renamed to platform/include/platform/internal/SysTimer.h

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

platform/source/mbed_error_hist.h renamed to platform/include/platform/internal/mbed_error_hist.h

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

platform/source/mbed_os_timer.h renamed to platform/include/platform/internal/mbed_os_timer.h

@@ -26,7 +26,7 @@
 #include "platform/mbed_power_mgmt.h"
 #include "platform/mbed_stats.h"
 #include "platform/internal/mbed_fault_handler.h"
-#include "source/mbed_error_hist.h"
+#include "platform/internal/mbed_error_hist.h"
 #include "drivers/MbedCRC.h"
 #include "mbed_rtx.h"
 #ifdef MBED_CONF_RTOS_PRESENT

platform/source/SysTimer.cpp

@@ -17,7 +17,7 @@
 
 #include "platform/mbed_power_mgmt.h"
 #include "platform/CriticalSectionLock.h"
-#include "source/SysTimer.h"
+#include "paltform/internal/SysTimer.h"
 #include "source/mbed_os_timer.h"
 #include "us_ticker_api.h"
 #include "lp_ticker_api.h"

platform/source/mbed_error.c

@@ -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;