/kernel/trunk/generic/src/synch/futex.c |
---|
File deleted |
/kernel/trunk/generic/src/main/main.c |
---|
50,7 → 50,6 |
#include <mm/as.h> |
#include <mm/slab.h> |
#include <synch/waitq.h> |
#include <synch/futex.h> |
#include <arch/arch.h> |
#include <arch.h> |
#include <arch/faddr.h> |
65,7 → 64,7 |
#include <smp/smp.h> |
config_t config; /**< Global configuration structure. */ |
init_t init = {0}; /**< Initial user-space tasks */ |
init_t init = {0}; /**< Initial user-space tasks */ |
context_t ctx; |
144,10 → 143,8 |
{ |
task_t *k; |
thread_t *t; |
count_t i; |
the_initialize(THE); |
/* |
* kconsole data structures must be initialized very early |
* because other subsystems will register their respective |
190,13 → 187,12 |
scheduler_init(); |
task_init(); |
thread_init(); |
futex_init(); |
count_t i; |
for (i = 0; i < init.cnt; i++) |
printf("init[%d].addr=%P, init[%d].size=%d\n", i, init.tasks[i].addr, i, init.tasks[i].size); |
ipc_init(); |
/* |
* Create kernel task. |
*/ |
/kernel/trunk/generic/src/syscall/syscall.c |
---|
36,7 → 36,6 |
#include <arch.h> |
#include <debug.h> |
#include <ipc/sysipc.h> |
#include <synch/futex.h> |
static __native sys_io(int fd, const void * buf, size_t count) { |
77,8 → 76,6 |
sys_io, |
sys_thread_create, |
sys_thread_exit, |
sys_futex_sleep, |
sys_futex_wakeup, |
sys_mmap, |
sys_mremap, |
sys_ipc_call_sync_fast, |
/kernel/trunk/generic/include/synch/futex.h |
---|
File deleted |
/kernel/trunk/generic/include/syscall/syscall.h |
---|
33,8 → 33,6 |
SYS_IO = 0, |
SYS_THREAD_CREATE, |
SYS_THREAD_EXIT, |
SYS_FUTEX_SLEEP, |
SYS_FUTEX_WAKEUP, |
SYS_MMAP, |
SYS_MREMAP, |
SYS_IPC_CALL_SYNC_FAST, |
/kernel/trunk/Makefile |
---|
140,7 → 140,6 |
generic/src/synch/mutex.c \ |
generic/src/synch/semaphore.c \ |
generic/src/synch/waitq.c \ |
generic/src/synch/futex.c \ |
generic/src/smp/ipi.c \ |
generic/src/ipc/ipc.c \ |
generic/src/ipc/sysipc.c \ |