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 | } |