Rev 928 | Rev 947 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 928 | Rev 944 | ||
|---|---|---|---|
| Line 35... | Line 35... | ||
| 35 | #include <arch/types.h> |
35 | #include <arch/types.h> |
| 36 | #include <debug.h> |
36 | #include <debug.h> |
| 37 | 37 | ||
| 38 | 38 | ||
| 39 | extern void tlb_invalidate_all(void); |
39 | extern void tlb_invalidate_all(void); |
| 40 | - | ||
| 41 | - | ||
| - | 40 | extern void tlb_invalidate_pages(asid_t asid, __address va, count_t cnt); |
|
| 42 | void test(void) |
41 | void test(void) |
| 43 | { |
42 | { |
| 44 | tlb_entry_t entryi; |
43 | tlb_entry_t entryi; |
| 45 | tlb_entry_t entryd; |
44 | tlb_entry_t entryd; |
| 46 | 45 | ||
| Line 70... | Line 69... | ||
| 70 | entryi.ar = AR_READ | AR_EXECUTE; |
69 | entryi.ar = AR_READ | AR_EXECUTE; |
| 71 | entryi.ppn = 0; |
70 | entryi.ppn = 0; |
| 72 | entryi.ps = PAGE_WIDTH; |
71 | entryi.ps = PAGE_WIDTH; |
| 73 | 72 | ||
| 74 | 73 | ||
| 75 | for(i=0;i<256;i++) |
74 | for(i=0;i<100;i++) |
| 76 | { |
75 | { |
| 77 | itc_mapping_insert(0+i*(1<<PAGE_WIDTH),8,entryi); |
76 | itc_mapping_insert(0+i*(1<<PAGE_WIDTH),8,entryi); |
| 78 | dtc_mapping_insert(0+i*(1<<PAGE_WIDTH),9,entryd); |
77 | dtc_mapping_insert(0+i*(1<<PAGE_WIDTH),9,entryd); |
| 79 | } |
78 | } |
| 80 | 79 | ||
| - | 80 | ||
| - | 81 | tlb_invalidate_pages(8,0x18000,13); |
|
| 81 | 82 | ||
| 82 | tlb_invalidate_all(); |
83 | /*tlb_invalidate_all();*/ |
| 83 | 84 | ||
| 84 | } |
85 | } |