| 36,17 → 36,41 |
|---|
| */ |
| void tlb_arch_init(void) |
| { |
| tlb_invalidate_all(); |
| } |
| |
| |
| void tlb_invalidate_all(void) |
| { |
| asm volatile ( |
| "tlbia\n" |
| "tlbsync\n" |
| ); |
| } |
| |
| |
| void tlb_invalidate_all(void) |
| /** Invalidate all entries in TLB that belong to specified address space. |
| * |
| * @param asid This parameter is ignored as the architecture doesn't support it. |
| */ |
| void tlb_invalidate_asid(asid_t asid) |
| { |
| tlb_invalidate_all(); |
| } |
| |
| /** Invalidate TLB entries for specified page range belonging to specified address space. |
| * |
| * @param asid This parameter is ignored as the architecture doesn't support it. |
| * @param page Address of the first page whose entry is to be invalidated. |
| * @param cnt Number of entries to invalidate. |
| */ |
| void tlb_invalidate_pages(asid_t asid, __address page, count_t cnt) |
| { |
| tlb_invalidate_all(); |
| } |
| |
| |
| |
| /** Print contents of Page Hash Table. */ |
| void tlb_print(void) |
| { |