Rev 1288 | Rev 1374 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1288 | Rev 1328 | ||
---|---|---|---|
Line 230... | Line 230... | ||
230 | page_table_unlock(AS, true); |
230 | page_table_unlock(AS, true); |
231 | pht_refill_fail(badvaddr, istate); |
231 | pht_refill_fail(badvaddr, istate); |
232 | } |
232 | } |
233 | 233 | ||
234 | 234 | ||
- | 235 | void tlb_invalidate_all(void) |
|
- | 236 | { |
|
- | 237 | ipl_t ipl; |
|
- | 238 | ||
- | 239 | ipl = interrupts_disable(); |
|
- | 240 | memsetb((__address) phte, 1 << PHT_BITS, 0); |
|
- | 241 | interrupts_restore(ipl); |
|
- | 242 | } |
|
- | 243 | ||
- | 244 | ||
235 | /** Print contents of Page Hash Table. */ |
245 | /** Print contents of Page Hash Table. */ |
236 | void tlb_print(void) |
246 | void tlb_print(void) |
237 | { |
247 | { |
238 | } |
248 | } |