diff options
Diffstat (limited to 'demos/GNU-Linux-GCC/chcore.c')
| -rw-r--r-- | demos/GNU-Linux-GCC/chcore.c | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/demos/GNU-Linux-GCC/chcore.c b/demos/GNU-Linux-GCC/chcore.c index b9aa187ab..e75776e95 100644 --- a/demos/GNU-Linux-GCC/chcore.c +++ b/demos/GNU-Linux-GCC/chcore.c @@ -21,6 +21,7 @@ #include <signal.h>
#include <stdlib.h>
#include <sys/time.h>
+#include <stdio.h>
/**
* @addtogroup LINUXSIM_CORE
@@ -34,7 +35,7 @@ static bool_t pending = FALSE; void timer(int numSignal) {
- pending = TRUE;
+ pending = TRUE; }
/*
@@ -71,8 +72,8 @@ void ChkIntSources(void) { */
__attribute__((used))
static void __dummy(Thread *otp, Thread *ntp) {
- asm volatile (".globl @port_switch@8 \n\t" \
- "@port_switch@8: \n\t" \
+ asm volatile (".globl port_switch \n\t" \
+ "port_switch: \n\t" \
"push %ebp \n\t" \
"push %esi \n\t" \
"push %edi \n\t" \
@@ -101,7 +102,7 @@ void port_halt(void) { void threadexit(void) {
asm volatile ("push %eax \n\t" \
- "call _chThdExit");
+ "call chThdExit");
}
/** @} */
|