| /kernel/trunk/generic/include/ddi/ddi_arg.h |
|---|
| File deleted |
| /kernel/trunk/generic/include/ddi/ddi.h |
|---|
| File deleted |
| /kernel/trunk/generic/include/proc/task.h |
|---|
| 58,7 → 58,6 |
| extern void task_init(void); |
| extern task_t *task_create(as_t *as, char *name); |
| extern task_t *task_run_program(void *program_addr, char *name); |
| extern task_t *task_find_by_id(task_id_t id); |
| extern __native sys_get_task_id(task_id_t *uspace_task_id); |
| /kernel/trunk/generic/include/syscall/syscall.h |
|---|
| 48,7 → 48,6 |
| SYS_IPC_FORWARD_FAST, |
| SYS_IPC_WAIT, |
| SYS_IPC_HANGUP, |
| SYS_MAP_PHYSMEM, |
| SYSCALL_END |
| } syscall_t; |
| /kernel/trunk/generic/include/mm/as.h |
|---|
| 56,7 → 56,6 |
| #define AS_AREA_READ 1 |
| #define AS_AREA_WRITE 2 |
| #define AS_AREA_EXEC 4 |
| #define AS_AREA_DEVICE 8 |
| /** Address space area structure. |
| * |
| /kernel/trunk/generic/include/errno.h |
|---|
| 37,7 → 37,7 |
| #define EREFUSED -4 /* Connection refused */ |
| #define EFORWARD -5 /* Forward error */ |
| #define EPERM -6 /* Permission denied */ |
| #define EHANGUP -7 /* Answerbox closed connection, call sys_ipc_hangup |
| #define EHANGUP -7 /* Answerbox closed cionnection, call sys_ipc_hangup |
| * to close the connection. Used by answerbox |
| * to close the connection. */ |
| /kernel/trunk/generic/src/ddi/ddi.c |
|---|
| File deleted |
| /kernel/trunk/generic/src/proc/task.c |
|---|
| 172,22 → 172,6 |
| return 0; |
| } |
| /** Find task structure corresponding to task ID. |
| * |
| * The tasks_lock must be already held by the caller of this function |
| * and interrupts must be disabled. |
| * |
| * @param id Task ID. |
| * |
| * @return Task structure address or NULL if there is no such task ID. |
| */ |
| task_t *task_find_by_id(task_id_t id) |
| { |
| btree_node_t *leaf; |
| return (task_t *) btree_search(&tasks_btree, (btree_key_t) id, &leaf); |
| } |
| /** Print task list */ |
| void task_print_list(void) |
| { |
| /kernel/trunk/generic/src/syscall/syscall.c |
|---|
| 37,7 → 37,6 |
| #include <debug.h> |
| #include <ipc/sysipc.h> |
| #include <synch/futex.h> |
| #include <ddi/ddi.h> |
| static __native sys_io(int fd, const void * buf, size_t count) { |
| 92,6 → 91,5 |
| sys_ipc_answer, |
| sys_ipc_forward_fast, |
| sys_ipc_wait_for_call, |
| sys_ipc_hangup, |
| sys_map_physmem |
| sys_ipc_hangup |
| }; |
| /kernel/trunk/generic/src/mm/as.c |
|---|
| 352,7 → 352,7 |
| { |
| int flags; |
| flags = PAGE_USER | PAGE_PRESENT; |
| flags = PAGE_USER | PAGE_PRESENT | PAGE_CACHEABLE; |
| if (a->flags & AS_AREA_READ) |
| flags |= PAGE_READ; |
| 363,9 → 363,6 |
| if (a->flags & AS_AREA_EXEC) |
| flags |= PAGE_EXEC; |
| if (!(a->flags & AS_AREA_DEVICE)) |
| flags |= PAGE_CACHEABLE; |
| return flags; |
| } |
| /kernel/trunk/Makefile |
|---|
| 108,7 → 108,6 |
| generic/src/console/kconsole.c \ |
| generic/src/console/cmd.c \ |
| generic/src/cpu/cpu.c \ |
| generic/src/ddi/ddi.c \ |
| generic/src/interrupt/interrupt.c \ |
| generic/src/main/main.c \ |
| generic/src/main/kinit.c \ |