| 47,7 → 47,7 |
|---|
| #include <config.h> |
| #include <interrupt.h> |
| #include <arch/regutils.h> |
| #include <arch/drivers/gxemul.h> |
| #include <arch/machine.h> |
| #include <userspace.h> |
| |
| bootinfo_t bootinfo; |
| 98,6 → 98,7 |
|---|
| init.tasks[i].addr = bootinfo.tasks[i].addr; |
| init.tasks[i].size = bootinfo.tasks[i].size; |
| } |
| |
| } |
| |
| void arch_pre_mm_init(void) |
| 106,6 → 107,7 |
|---|
| interrupts_disable(); |
| |
| setup_exception_stacks(); |
| |
| } |
| |
| void prefetch_exception_generator(void); |
| 112,7 → 114,7 |
|---|
| |
| void arch_post_mm_init(void) |
| { |
| gxemul_hw_map_init(); |
| machine_hw_map_init(); |
| |
| /* Initialize dispatch table */ |
| exception_init(); |
| 192,6 → 194,7 |
|---|
| */ |
| void userspace(uspace_arg_t *kernel_uarg) |
| { |
| // dprintf("userspace\n"); |
| // WILL be changed .. after exception return .. eret will be done |
| /* |
| volatile ustate_t ustate; |