| /branches/rcu/kernel/generic/include/synch/rcu.h |
|---|
| File deleted |
| /branches/rcu/kernel/generic/include/ddi/tasklet.h |
|---|
| File deleted |
| /branches/rcu/kernel/generic/src/main/main.c |
|---|
| 81,7 → 81,6 |
| #include <console/klog.h> |
| #include <smp/smp.h> |
| #include <ddi/ddi.h> |
| #include <ddi/tasklet.h> |
| /** Global configuration structure. */ |
| config_t config; |
| 219,8 → 218,6 |
| page_init(); |
| tlb_init(); |
| ddi_init(); |
| tasklet_init(); |
| // tasklet_do(); |
| arch_post_mm_init(); |
| version_print(); |
| 239,17 → 236,14 |
| printf("config.memory_size=%zdM\n", config.memory_size >> 20); |
| printf("config.cpu_count=%zd\n", config.cpu_count); |
| cpu_init(); |
| calibrate_delay_loop(); |
| clock_counter_init(); |
| // tasklet_do(); |
| timeout_init(); |
| scheduler_init(); |
| task_init(); |
| thread_init(); |
| futex_init(); |
| klog_init(); |
| if (init.cnt > 0) { |
| 261,7 → 255,6 |
| printf("No init binaries found\n"); |
| ipc_init(); |
| //tasklet_do(); |
| /* |
| * Create kernel task. |
| 277,8 → 270,6 |
| if (!t) |
| panic("can't create kinit thread\n"); |
| thread_ready(t); |
| tasklet_run_tasklet_thread(k); |
| /* |
| * This call to scheduler() will return to kinit, |
| /branches/rcu/kernel/generic/src/ddi/tasklet.c |
|---|
| File deleted |
| /branches/rcu/kernel/generic/src/synch/rcu.c |
|---|
| File deleted |
| /branches/rcu/kernel/Makefile |
|---|
| 155,7 → 155,6 |
| generic/src/ddi/ddi.c \ |
| generic/src/ddi/irq.c \ |
| generic/src/ddi/device.c \ |
| generic/src/ddi/tasklet.c \ |
| generic/src/interrupt/interrupt.c \ |
| generic/src/main/main.c \ |
| generic/src/main/kinit.c \ |
| 197,7 → 196,6 |
| generic/src/synch/condvar.c \ |
| generic/src/synch/rwlock.c \ |
| generic/src/synch/mutex.c \ |
| generic/src/synch/rcu.c \ |
| generic/src/synch/semaphore.c \ |
| generic/src/synch/waitq.c \ |
| generic/src/synch/futex.c \ |
| 240,8 → 238,7 |
| test/synch/semaphore2.c \ |
| test/print/print1.c \ |
| test/thread/thread1.c \ |
| test/sysinfo/sysinfo1.c \ |
| test/tasklet/tasklet1.c |
| test/sysinfo/sysinfo1.c |
| endif |
| ## Experimental features |
| /branches/rcu/kernel/test/tasklet/tasklet1.def |
|---|
| File deleted |
| /branches/rcu/kernel/test/tasklet/tasklet1.c |
|---|
| File deleted |
| /branches/rcu/kernel/test/test.h |
|---|
| 69,7 → 69,6 |
| extern char * test_print1(bool quiet); |
| extern char * test_thread1(bool quiet); |
| extern char * test_sysinfo1(bool quiet); |
| extern char * test_tasklet1(bool quiet); |
| extern test_t tests[]; |
| /branches/rcu/kernel/test/test.c |
|---|
| 57,7 → 57,6 |
| #include <print/print1.def> |
| #include <thread/thread1.def> |
| #include <sysinfo/sysinfo1.def> |
| #include <tasklet/tasklet1.def> |
| {NULL, NULL, NULL} |
| }; |