| /kernel/trunk/arch/ia64/src/mm/vhpt.c |
|---|
| File deleted |
| /kernel/trunk/arch/ia64/src/mm/tlb.c |
|---|
| 36,7 → 36,6 |
| #include <mm/as.h> |
| #include <arch/mm/tlb.h> |
| #include <arch/mm/page.h> |
| #include <arch/mm/vhpt.h> |
| #include <arch/barrier.h> |
| #include <arch/interrupt.h> |
| #include <arch/pal/pal.h> |
| 79,9 → 78,6 |
| srlz_d(); |
| srlz_i(); |
| #ifdef CONFIG_VHPT |
| vhpt_invalidate_all(); |
| #endif |
| } |
| /** Invalidate entries belonging to an address space. |
| 389,9 → 385,6 |
| entry.ps = PAGE_WIDTH; |
| dtc_mapping_insert(t->page, t->as->asid, entry); |
| #ifdef CONFIG_VHPT |
| vhpt_mapping_insert(t->page, t->as->asid, entry); |
| #endif |
| } |
| /** Copy content of PTE into instruction translation cache. |
| 416,9 → 409,6 |
| entry.ps = PAGE_WIDTH; |
| itc_mapping_insert(t->page, t->as->asid, entry); |
| #ifdef CONFIG_VHPT |
| vhpt_mapping_insert(t->page, t->as->asid, entry); |
| #endif |
| } |
| /** Instruction TLB fault handler for faults with VHPT turned off. |
| /kernel/trunk/arch/ia64/src/mm/page.c |
|---|
| 31,7 → 31,6 |
| #include <genarch/mm/page_ht.h> |
| #include <mm/asid.h> |
| #include <arch/mm/asid.h> |
| #include <arch/mm/vhpt.h> |
| #include <arch/types.h> |
| #include <typedefs.h> |
| #include <print.h> |
| 59,9 → 58,6 |
| region_register rr; |
| pta_register pta; |
| int i; |
| #ifdef CONFIG_VHPT |
| __address vhpt_base; |
| #endif |
| /* |
| * First set up kernel region register. |
| 92,22 → 88,14 |
| srlz_d(); |
| } |
| #ifdef CONFIG_VHPT |
| vhpt_base = vhpt_set_up(); |
| #endif |
| /* |
| * Set up PTA register. |
| */ |
| pta.word = pta_read(); |
| #ifndef CONFIG_VHPT |
| pta.map.ve = 0; /* disable VHPT walker */ |
| pta.map.base = 0 >> PTA_BASE_SHIFT; |
| #else |
| pta.map.ve = 1; /* enable VHPT walker */ |
| pta.map.base = vhpt_base >> PTA_BASE_SHIFT; |
| #endif |
| pta.map.vf = 1; /* large entry format */ |
| pta.map.size = VHPT_WIDTH; |
| pta.map.base = VHPT_BASE >> PTA_BASE_SHIFT; |
| pta_write(pta.word); |
| srlz_i(); |
| srlz_d(); |
| /kernel/trunk/arch/ia64/Makefile.inc |
|---|
| 84,7 → 84,6 |
| arch/$(ARCH)/src/mm/frame.c \ |
| arch/$(ARCH)/src/mm/page.c \ |
| arch/$(ARCH)/src/mm/tlb.c \ |
| arch/$(ARCH)/src/mm/vhpt.c \ |
| arch/$(ARCH)/src/proc/scheduler.c \ |
| arch/$(ARCH)/src/ddi/ddi.c \ |
| arch/$(ARCH)/src/drivers/it.c |
| /kernel/trunk/arch/ia64/include/mm/vhpt.h |
|---|
| File deleted |
| /kernel/trunk/arch/ia64/include/mm/page.h |
|---|
| 60,6 → 60,7 |
| #define VHPT_WIDTH 20 /* 1M */ |
| #define VHPT_SIZE (1 << VHPT_WIDTH) |
| #define VHPT_BASE 0 /* Must be aligned to VHPT_SIZE */ |
| #define PTA_BASE_SHIFT 15 |