rename platform weak functions

port/linux/.vscode/settings.json

@@ -16,7 +16,8 @@
         "pikastdlib_memchecker.h": "c",
         "pikaparser.h": "c",
         "stdint.h": "c",
-        "cstdio": "c"
+        "cstdio": "c",
+        "cstdlib": "c"
     },
     "python.formatting.provider": "yapf"
 }

src/PikaPlatform.c

@@ -27,6 +27,7 @@
 
 #include "PikaPlatform.h"
 #include <stdio.h>
+#include <stdlib.h>
 
 PIKA_WEAK void __platform_disable_irq_handle(void) {
     /* disable irq to support thread */

src/PikaPlatform.h

@@ -29,8 +29,8 @@
 #define __PIKA_PALTFORM__H
 #include <stdarg.h>
 #include <stdint.h>
-#include <stdlib.h>
 #include <string.h>
+#include <stdlib.h>
 
 #if defined(__CC_ARM) || defined(__CLANG_ARM) /* ARM Compiler */
 #define PIKA_WEAK __attribute__((weak))