| 34,8 → 34,9 |
|---|
| |
| #include <proc/thread.h> |
| #include <arch/proc/thread.h> |
| #include <mm/slab.h> |
| #include <arch/trap/regwin.h> |
| #include <mm/frame.h> |
| #include <mm/page.h> |
| #include <arch/mm/page.h> |
| #include <align.h> |
| |
| void thr_constructor_arch(thread_t *t) |
| 49,12 → 50,12 |
|---|
| void thr_destructor_arch(thread_t *t) |
| { |
| if (t->arch.uspace_window_buffer) { |
| uintptr_t uw_buf = (uintptr_t) t->arch.uspace_window_buffer; |
| /* |
| * Mind the possible alignment of the userspace window buffer |
| * belonging to a killed thread. |
| */ |
| free((uint8_t *) ALIGN_DOWN(uw_buf, UWB_ALIGNMENT)); |
| frame_free(KA2PA(ALIGN_DOWN((uintptr_t) |
| t->arch.uspace_window_buffer, PAGE_SIZE))); |
| } |
| } |
| |
| 66,7 → 67,7 |
|---|
| * The thread needs userspace window buffer and the object |
| * returned from the slab allocator doesn't have any. |
| */ |
| t->arch.uspace_window_buffer = malloc(UWB_ASIZE, 0); |
| t->arch.uspace_window_buffer = frame_alloc(ONE_FRAME, FRAME_KA); |
| } else { |
| uintptr_t uw_buf = (uintptr_t) t->arch.uspace_window_buffer; |
| |
| 75,7 → 76,7 |
|---|
| * belonging to a killed thread. |
| */ |
| t->arch.uspace_window_buffer = (uint8_t *) ALIGN_DOWN(uw_buf, |
| UWB_ASIZE); |
| PAGE_SIZE); |
| } |
| } |
| |