Rev 1878 | Rev 1881 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1878 | Rev 1879 | ||
---|---|---|---|
Line 96... | Line 96... | ||
96 | /** Switch to userspace. */ |
96 | /** Switch to userspace. */ |
97 | void userspace(uspace_arg_t *kernel_uarg) |
97 | void userspace(uspace_arg_t *kernel_uarg) |
98 | { |
98 | { |
99 | switch_to_userspace((uintptr_t) kernel_uarg->uspace_entry, |
99 | switch_to_userspace((uintptr_t) kernel_uarg->uspace_entry, |
100 | ((uintptr_t) kernel_uarg->uspace_stack) + STACK_SIZE |
100 | ((uintptr_t) kernel_uarg->uspace_stack) + STACK_SIZE |
101 | - (ALIGN_UP(STACK_ITEM_SIZE, STACK_ALIGNMENT) + STACK_BIAS + STACK_WINDOW_SAVE_AREA_SIZE), |
101 | - (ALIGN_UP(STACK_ITEM_SIZE, STACK_ALIGNMENT) + STACK_BIAS), |
102 | (uintptr_t) kernel_uarg->uspace_uarg); |
102 | (uintptr_t) kernel_uarg->uspace_uarg); |
103 | 103 | ||
104 | for (;;) |
104 | for (;;) |
105 | ; |
105 | ; |
106 | /* not reached */ |
106 | /* not reached */ |