Rev 2469 | Rev 2479 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2469 | Rev 2470 | ||
---|---|---|---|
Line 105... | Line 105... | ||
105 | pt = psthread_setup(); |
105 | pt = psthread_setup(); |
106 | __tcb_set(pt->tcb); |
106 | __tcb_set(pt->tcb); |
107 | 107 | ||
108 | uarg->uspace_thread_function(uarg->uspace_thread_arg); |
108 | uarg->uspace_thread_function(uarg->uspace_thread_arg); |
109 | /* XXX: we cannot free the userspace stack while running on it */ |
109 | /* XXX: we cannot free the userspace stack while running on it */ |
110 | free(uarg->uspace_stack); |
110 | // free(uarg->uspace_stack); |
111 | free(uarg); |
111 | // free(uarg); |
112 | 112 | ||
113 | /* If there is a manager, destroy it */ |
113 | /* If there is a manager, destroy it */ |
114 | async_destroy_manager(); |
114 | async_destroy_manager(); |
115 | psthread_teardown(pt); |
115 | psthread_teardown(pt); |
116 | 116 |