aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--os/ports/GCC/SIMIA32/chcore.c16
1 files changed, 14 insertions, 2 deletions
diff --git a/os/ports/GCC/SIMIA32/chcore.c b/os/ports/GCC/SIMIA32/chcore.c
index c6c5d69e1..6fe0725dd 100644
--- a/os/ports/GCC/SIMIA32/chcore.c
+++ b/os/ports/GCC/SIMIA32/chcore.c
@@ -22,6 +22,8 @@
* @{
*/
+#include <stdlib.h>
+
#include "ch.h"
#include "hal.h"
@@ -33,9 +35,14 @@
__attribute__((used))
static void __dummy(Thread *otp, Thread *ntp) {
(void)otp; (void)ntp;
+#if defined(WIN32)
asm volatile (".globl @port_switch@8 \n\t" \
- "@port_switch@8: \n\t" \
- "push %ebp \n\t" \
+ "@port_switch@8:");
+#else
+ asm volatile (".globl port_switch \n\t" \
+ "port_switch:");
+#endif
+ asm volatile ("push %ebp \n\t" \
"push %esi \n\t" \
"push %edi \n\t" \
"push %ebx \n\t" \
@@ -62,8 +69,13 @@ void port_halt(void) {
*/
void threadexit(void) {
+#if defined(WIN32)
asm volatile ("push %eax \n\t" \
"call _chThdExit");
+#else
+ asm volatile ("push %eax \n\t" \
+ "call chThdExit");
+#endif
}
/** @} */