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) { |