| 50,7 → 50,6 |
|---|
| #include <userspace.h> |
| |
| bootinfo_t bootinfo; |
| // // uintptr_t supervisor_sp /*__attribute__ ((section (".text")))*/; |
| extern uintptr_t supervisor_sp; |
| |
| |
| 72,8 → 71,6 |
|---|
| { |
| /* It is not assumed by default */ |
| interrupts_disable(); |
| |
| setup_exception_stacks(); |
| } |
| |
| |
| 157,9 → 154,9 |
|---|
| */ |
| void userspace(uspace_arg_t *kernel_uarg) |
| { |
| dprintf("Userspace: .uspace_uarg(%X), .uspace_entry(%X), .uspace_stack(%X)\n", |
| (unsigned int)(kernel_uarg->uspace_uarg), kernel_uarg->uspace_entry, |
| kernel_uarg->uspace_stack); |
| // dprintf("Userspace: .uspace_uarg(%X), .uspace_entry(%X), .uspace_stack(%X)\n", |
| // (unsigned int)(kernel_uarg->uspace_uarg), kernel_uarg->uspace_entry, |
| // kernel_uarg->uspace_stack); |
| |
| volatile ustate_t ustate; |
| |