Rev 1960 | Rev 2001 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1960 | Rev 1996 | ||
|---|---|---|---|
| Line 98... | Line 98... | ||
| 98 | tsb->tag.va_tag = t->page >> VA_TAG_PAGE_SHIFT; |
98 | tsb->tag.va_tag = t->page >> VA_TAG_PAGE_SHIFT; |
| 99 | tsb->data.value = 0; |
99 | tsb->data.value = 0; |
| 100 | tsb->data.size = PAGESIZE_8K; |
100 | tsb->data.size = PAGESIZE_8K; |
| 101 | tsb->data.pfn = t->frame >> PAGE_WIDTH; |
101 | tsb->data.pfn = t->frame >> PAGE_WIDTH; |
| 102 | tsb->data.cp = t->c; |
102 | tsb->data.cp = t->c; |
| - | 103 | #ifdef CONFIG_VIRT_IDX_CACHE |
|
| 103 | tsb->data.cv = t->c; |
104 | tsb->data.cv = t->c; |
| - | 105 | #endif /* CONFIG_VIRT_IDX_CACHE */ |
|
| 104 | tsb->data.p = t->k; /* p as privileged */ |
106 | tsb->data.p = t->k; /* p as privileged */ |
| 105 | tsb->data.v = t->p; |
107 | tsb->data.v = t->p; |
| 106 | 108 | ||
| 107 | write_barrier(); |
109 | write_barrier(); |
| 108 | 110 | ||
| Line 138... | Line 140... | ||
| 138 | tsb->tag.va_tag = t->page >> VA_TAG_PAGE_SHIFT; |
140 | tsb->tag.va_tag = t->page >> VA_TAG_PAGE_SHIFT; |
| 139 | tsb->data.value = 0; |
141 | tsb->data.value = 0; |
| 140 | tsb->data.size = PAGESIZE_8K; |
142 | tsb->data.size = PAGESIZE_8K; |
| 141 | tsb->data.pfn = t->frame >> PAGE_WIDTH; |
143 | tsb->data.pfn = t->frame >> PAGE_WIDTH; |
| 142 | tsb->data.cp = t->c; |
144 | tsb->data.cp = t->c; |
| - | 145 | #ifdef CONFIG_VIRT_IDX_CACHE |
|
| 143 | tsb->data.cv = t->c; |
146 | tsb->data.cv = t->c; |
| - | 147 | #endif /* CONFIG_VIRT_IDX_CACHE */ |
|
| 144 | tsb->data.p = t->k; /* p as privileged */ |
148 | tsb->data.p = t->k; /* p as privileged */ |
| 145 | tsb->data.w = ro ? false : t->w; |
149 | tsb->data.w = ro ? false : t->w; |
| 146 | tsb->data.v = t->p; |
150 | tsb->data.v = t->p; |
| 147 | 151 | ||
| 148 | write_barrier(); |
152 | write_barrier(); |