Rev 1248 | Rev 1757 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1248 | Rev 1297 | ||
---|---|---|---|
Line 27... | Line 27... | ||
27 | */ |
27 | */ |
28 | 28 | ||
29 | /** |
29 | /** |
30 | * @file tlb.c |
30 | * @file tlb.c |
31 | * @brief Generic TLB shootdown algorithm. |
31 | * @brief Generic TLB shootdown algorithm. |
- | 32 | * |
|
- | 33 | * The algorithm implemented here is based on the CMU TLB shootdown |
|
- | 34 | * algorithm and is further simplified (e.g. all CPUs receive all TLB |
|
- | 35 | * shootdown messages). |
|
32 | */ |
36 | */ |
33 | 37 | ||
34 | #include <mm/tlb.h> |
38 | #include <mm/tlb.h> |
35 | #include <mm/asid.h> |
39 | #include <mm/asid.h> |
36 | #include <arch/mm/tlb.h> |
40 | #include <arch/mm/tlb.h> |