| 26,8 → 26,6 |
|---|
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| |
| #ifdef ia64 |
| |
| #include <print.h> |
| #include <test.h> |
| #include <mm/page.h> |
| 47,10 → 45,10 |
|---|
| tlb_entry_t entryd; |
| |
| int i; |
| |
| |
| entryd.word[0] = 0; |
| entryd.word[1] = 0; |
| |
| |
| entryd.p = true; /* present */ |
| entryd.ma = MA_WRITEBACK; |
| entryd.a = true; /* already accessed */ |
| 77,11 → 75,9 |
|---|
| dtc_mapping_insert(0 + i * (1 << PAGE_WIDTH), 9, entryd); |
| } |
| |
| tlb_invalidate_pages(8,0x0c000,14); |
| tlb_invalidate_pages(8, 0x0c000, 14); |
| |
| /*tlb_invalidate_all();*/ |
| /* tlb_invalidate_all(); */ |
| |
| return NULL; |
| } |
| |
| #endif |