Rev 2292 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2292 | Rev 2307 | ||
|---|---|---|---|
| Line 80... | Line 80... | ||
| 80 | #include <adt/btree.h> |
80 | #include <adt/btree.h> |
| 81 | #include <console/klog.h> |
81 | #include <console/klog.h> |
| 82 | #include <smp/smp.h> |
82 | #include <smp/smp.h> |
| 83 | #include <ddi/ddi.h> |
83 | #include <ddi/ddi.h> |
| 84 | #include <proc/tasklet.h> |
84 | #include <proc/tasklet.h> |
| - | 85 | #include <synch/rcu.h> |
|
| 85 | 86 | ||
| 86 | /** Global configuration structure. */ |
87 | /** Global configuration structure. */ |
| 87 | config_t config; |
88 | config_t config; |
| 88 | 89 | ||
| 89 | /** Initial user-space tasks */ |
90 | /** Initial user-space tasks */ |
| Line 273... | Line 274... | ||
| 273 | panic("can't create kinit thread\n"); |
274 | panic("can't create kinit thread\n"); |
| 274 | thread_ready(t); |
275 | thread_ready(t); |
| 275 | 276 | ||
| 276 | tasklet_run_tasklet_thread(k); |
277 | tasklet_run_tasklet_thread(k); |
| 277 | 278 | ||
| - | 279 | rcu_init(); |
|
| - | 280 | ||
| 278 | /* |
281 | /* |
| 279 | * This call to scheduler() will return to kinit, |
282 | * This call to scheduler() will return to kinit, |
| 280 | * starting the thread of kernel threads. |
283 | * starting the thread of kernel threads. |
| 281 | */ |
284 | */ |
| 282 | scheduler(); |
285 | scheduler(); |