Rev 2071 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2071 | Rev 2272 | ||
|---|---|---|---|
| Line 53... | Line 53... | ||
| 53 | /* |
53 | /* |
| 54 | * Mind the possible alignment of the userspace window buffer |
54 | * Mind the possible alignment of the userspace window buffer |
| 55 | * belonging to a killed thread. |
55 | * belonging to a killed thread. |
| 56 | */ |
56 | */ |
| 57 | frame_free(KA2PA(ALIGN_DOWN((uintptr_t) |
57 | frame_free(KA2PA(ALIGN_DOWN((uintptr_t) |
| 58 | t->arch.uspace_window_buffer, PAGE_SIZE))); |
58 | t->arch.uspace_window_buffer, PAGE_SIZE))); |
| 59 | } |
59 | } |
| 60 | } |
60 | } |
| 61 | 61 | ||
| 62 | void thread_create_arch(thread_t *t) |
62 | void thread_create_arch(thread_t *t) |
| 63 | { |
63 | { |
| Line 73... | Line 73... | ||
| 73 | 73 | ||
| 74 | /* |
74 | /* |
| 75 | * Mind the possible alignment of the userspace window buffer |
75 | * Mind the possible alignment of the userspace window buffer |
| 76 | * belonging to a killed thread. |
76 | * belonging to a killed thread. |
| 77 | */ |
77 | */ |
| 78 | t->arch.uspace_window_buffer = (uint8_t *) ALIGN_DOWN(uw_buf, |
78 | t->arch.uspace_window_buffer = (uint8_t *) ALIGN_DOWN(uw_buf, |
| 79 | PAGE_SIZE); |
79 | PAGE_SIZE); |
| 80 | } |
80 | } |
| 81 | } |
81 | } |
| 82 | 82 | ||
| 83 | /** @} |
83 | /** @} |
| 84 | */ |
84 | */ |