Rev 1860 | Rev 1878 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1860 | Rev 1864 | ||
---|---|---|---|
Line 124... | Line 124... | ||
124 | * its still-active userspace windows into the userspace window buffer |
124 | * its still-active userspace windows into the userspace window buffer |
125 | * and demap the buffer from DTLB. |
125 | * and demap the buffer from DTLB. |
126 | */ |
126 | */ |
127 | ASSERT(THREAD->arch.uspace_window_buffer); |
127 | ASSERT(THREAD->arch.uspace_window_buffer); |
128 | 128 | ||
129 | flushw(); /* force all userspace windows into memory */ |
- | |
130 | - | ||
131 | uintptr_t uw_buf = ALIGN_DOWN((uintptr_t) THREAD->arch.uspace_window_buffer, PAGE_SIZE); |
129 | uintptr_t uw_buf = ALIGN_DOWN((uintptr_t) THREAD->arch.uspace_window_buffer, PAGE_SIZE); |
132 | if (!overlaps(uw_buf, PAGE_SIZE, base, 1<<KERNEL_PAGE_WIDTH)) { |
130 | if (!overlaps(uw_buf, PAGE_SIZE, base, 1<<KERNEL_PAGE_WIDTH)) { |
133 | /* |
131 | /* |
134 | * The buffer is not covered by the 4M locked kernel DTLB entry |
132 | * The buffer is not covered by the 4M locked kernel DTLB entry |
135 | * and therefore it was given a dedicated locked DTLB entry. |
133 | * and therefore it was given a dedicated locked DTLB entry. |