/SPARTAN/trunk/src/main/kinit.c |
---|
64,7 → 64,7 |
thread_t *t; |
int i; |
cpu_priority_high(); |
interrupts_disable(); |
#ifdef __SMP__ |
if (config.cpu_count > 1) { |
115,7 → 115,7 |
} |
#endif /* __SMP__ */ |
cpu_priority_low(); |
interrupts_enable(); |
#ifdef __USERSPACE__ |
/* |
/SPARTAN/trunk/src/main/main.c |
---|
109,7 → 109,7 |
* |
* Initializes the kernel by bootstrap CPU. |
* |
* Assuming cpu_priority_high(). |
* Assuming interrupts_disable(). |
* |
*/ |
void main_bsp(void) |
208,7 → 208,7 |
* Executed by application processors, temporary stack |
* is at ctx.sp which was set during BP boot. |
* |
* Assuming cpu_priority_high(). |
* Assuming interrupts_disable()'d. |
* |
*/ |
void main_ap(void) |