| /kernel/trunk/generic/src/main/kinit.c |
|---|
| 68,11 → 68,13 |
| */ |
| void kinit(void *arg) |
| { |
| thread_t *t; |
| int i; |
| #ifdef CONFIG_USERSPACE |
| vm_t *m; |
| vm_area_t *a; |
| task_t *u; |
| thread_t *t; |
| int i; |
| #endif |
| interrupts_disable(); |
| /kernel/trunk/generic/src/main/main.c |
|---|
| 125,7 → 125,9 |
| * pop sequence otherwise. |
| */ |
| static void main_bsp_separated_stack(void); |
| #ifdef CONFIG_SMP |
| static void main_ap_separated_stack(void); |
| #endif |
| /** Bootstrap CPU main kernel routine |
| * |