Rev 615 | Rev 629 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 615 | Rev 625 | ||
|---|---|---|---|
| Line 66... | Line 66... | ||
| 66 | * |
66 | * |
| 67 | * @param arg Not used. |
67 | * @param arg Not used. |
| 68 | */ |
68 | */ |
| 69 | void kinit(void *arg) |
69 | void kinit(void *arg) |
| 70 | { |
70 | { |
| - | 71 | thread_t *t; |
|
| - | 72 | int i; |
|
| - | 73 | #ifdef CONFIG_USERSPACE |
|
| 71 | vm_t *m; |
74 | vm_t *m; |
| 72 | vm_area_t *a; |
75 | vm_area_t *a; |
| 73 | task_t *u; |
76 | task_t *u; |
| 74 | thread_t *t; |
- | |
| 75 | int i; |
77 | #endif |
| 76 | 78 | ||
| 77 | interrupts_disable(); |
79 | interrupts_disable(); |
| 78 | 80 | ||
| 79 | #ifdef CONFIG_SMP |
81 | #ifdef CONFIG_SMP |
| 80 | if (config.cpu_count > 1) { |
82 | if (config.cpu_count > 1) { |