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 |