Rev 534 | Rev 727 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 534 | Rev 597 | ||
|---|---|---|---|
| Line 27... | Line 27... | ||
| 27 | */ |
27 | */ |
| 28 | 28 | ||
| 29 | #include <mm/tlb.h> |
29 | #include <mm/tlb.h> |
| 30 | #include <arch/mm/asid.h> |
30 | #include <arch/mm/asid.h> |
| 31 | #include <arch/asm.h> |
31 | #include <arch/asm.h> |
| - | 32 | #include <arch/types.h> |
|
| 32 | 33 | ||
| 33 | /** Invalidate all TLB entries |
34 | /** Invalidate all TLB entries |
| 34 | * |
35 | * |
| 35 | * Invalidate all TLB entries. |
36 | * Invalidate all TLB entries. |
| 36 | * |
37 | * |
| Line 38... | Line 39... | ||
| 38 | */ |
39 | */ |
| 39 | void tlb_invalidate(asid_t asid) |
40 | void tlb_invalidate(asid_t asid) |
| 40 | { |
41 | { |
| 41 | write_cr3(read_cr3()); |
42 | write_cr3(read_cr3()); |
| 42 | } |
43 | } |
| - | 44 | ||
| - | 45 | /** Invalidate all entries in TLB. */ |
|
| - | 46 | void tlb_invalidate_all(void) |
|
| - | 47 | { |
|
| - | 48 | write_cr3(read_cr3()); |
|
| - | 49 | } |
|
| - | 50 | ||
| - | 51 | /** Invalidate all entries in TLB that belong to specified address space. |
|
| - | 52 | * |
|
| - | 53 | * @param asid This parameter is ignored as the architecture doesn't support it. |
|
| - | 54 | */ |
|
| - | 55 | void tlb_invalidate_asid(asid_t asid) |
|
| - | 56 | { |
|
| - | 57 | tlb_invalidate_all(); |
|
| - | 58 | } |
|
| - | 59 | ||
| - | 60 | /** Invalidate TLB entry for specified page belongs to specified address space. |
|
| - | 61 | * |
|
| - | 62 | * @param asid This parameter is ignored as the architecture doesn't support it. |
|
| - | 63 | * @param page Address of the page whose entry is to be invalidated. |
|
| - | 64 | */ |
|
| - | 65 | void tlb_invalidate_page(asid_t asid, __address page) |
|
| - | 66 | { |
|
| - | 67 | invlpg(page); |
|
| - | 68 | } |
|