/branches/rcu/kernel/generic/src/main/kinit.c |
---|
118,7 → 118,7 |
#ifdef CONFIG_SMP |
if (config.cpu_count > 1) { |
unsigned int i; |
count_t i; |
/* |
* For each CPU, create its load balancing thread. |
/branches/rcu/kernel/generic/src/main/main.c |
---|
82,6 → 82,7 |
#include <smp/smp.h> |
#include <ddi/ddi.h> |
#include <proc/tasklet.h> |
#include <synch/rcu.h> |
/** Global configuration structure. */ |
config_t config; |
275,6 → 276,8 |
tasklet_run_tasklet_thread(k); |
rcu_init(); |
/* |
* This call to scheduler() will return to kinit, |
* starting the thread of kernel threads. |