| 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> |
| 41,16 → 39,16 |
|---|
| extern void tlb_invalidate_all(void); |
| extern void tlb_invalidate_pages(asid_t asid, uintptr_t va, count_t cnt); |
| |
| char * test_purge1(bool quiet) |
| char *test_purge1(void) |
| { |
| tlb_entry_t entryi; |
| 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 |