53,6 → 53,7 |
#include <synch/waitq.h> |
|
#include <arch.h> |
#include <arch/faddr.h> |
|
char *project = "SPARTAN kernel"; |
char *copyright = "Copyright (C) 2001-2005 Jakub Jermar, Copyright (C) 2005 HelenOS project"; |
94,7 → 95,7 |
|
context_save(&ctx); |
ctx.sp = config.base + config.kernel_size - 8; |
ctx.pc = (__address) main_bsp_separated_stack; |
ctx.pc = FADDR(main_bsp_separated_stack); |
context_restore(&ctx); |
/* not reached */ |
} |
192,7 → 193,7 |
* switch to this cpu's private stack prior to waking kmp up. |
*/ |
CPU->saved_context.sp = (__address) &CPU->stack[CPU_STACK_SIZE-8]; |
CPU->saved_context.pc = (__address) main_ap_separated_stack; |
CPU->saved_context.pc = FADDR(main_ap_separated_stack); |
context_restore(&CPU->saved_context); |
/* not reached */ |
} |