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