Rev 1864 | Rev 1878 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1864 | Rev 1875 | ||
|---|---|---|---|
| Line 91... | Line 91... | ||
| 91 | 91 | ||
| 92 | void calibrate_delay_loop(void) |
92 | void calibrate_delay_loop(void) |
| 93 | { |
93 | { |
| 94 | } |
94 | } |
| 95 | 95 | ||
| 96 | /** Acquire console back for kernel |
- | |
| 97 | * |
- | |
| 98 | */ |
- | |
| 99 | void arch_grab_console(void) |
- | |
| 100 | { |
- | |
| 101 | } |
- | |
| 102 | /** Return console to userspace |
- | |
| 103 | * |
- | |
| 104 | */ |
- | |
| 105 | void arch_release_console(void) |
- | |
| 106 | { |
- | |
| 107 | } |
- | |
| 108 | - | ||
| 109 | /** Switch to userspace. */ |
96 | /** Switch to userspace. */ |
| 110 | void userspace(uspace_arg_t *kernel_uarg) |
97 | void userspace(uspace_arg_t *kernel_uarg) |
| 111 | { |
98 | { |
| 112 | switch_to_userspace((uintptr_t) kernel_uarg->uspace_entry, |
99 | switch_to_userspace((uintptr_t) kernel_uarg->uspace_entry, |
| 113 | ((uintptr_t) kernel_uarg->uspace_stack) + STACK_SIZE |
100 | ((uintptr_t) kernel_uarg->uspace_stack) + STACK_SIZE |