Rev 740 | Rev 818 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 740 | Rev 756 | ||
---|---|---|---|
Line 31... | Line 31... | ||
31 | */ |
31 | */ |
32 | 32 | ||
33 | #include <mm/tlb.h> |
33 | #include <mm/tlb.h> |
34 | #include <arch/mm/asid.h> |
34 | #include <arch/mm/asid.h> |
35 | 35 | ||
36 | /** Invalidate all TLB entries. |
36 | /** Invalidate all TLB entries. */ |
37 | * |
- | |
38 | * Because of ASID management, region registers must be reset |
- | |
39 | * with new RIDs derived from the potentionally new ASID. |
- | |
40 | */ |
- | |
41 | void tlb_invalidate_all(void) |
37 | void tlb_invalidate_all(void) |
42 | { |
38 | { |
43 | /* TODO */ |
39 | /* TODO */ |
44 | } |
40 | } |
45 | 41 |