| /kernel/trunk/generic/include/proc/task.h |
|---|
| 49,5 → 49,6 |
| extern void task_init(void); |
| extern task_t *task_create(as_t *as); |
| extern task_t *task_run_program(void * program_addr); |
| #endif |
| /kernel/trunk/generic/include/mm/as.h |
|---|
| 107,6 → 107,7 |
| extern void as_set_mapping(as_t *as, __address page, __address frame); |
| extern int as_page_fault(__address page); |
| extern void as_switch(as_t *old, as_t *new); |
| extern void as_free(as_t *as); |
| /* Interface to be implemented by architectures. */ |
| #ifndef as_install_arch |