Rev 4055 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4055 | Rev 4537 | ||
|---|---|---|---|
| Line 129... | Line 129... | ||
| 129 | * @return VHPT entry address. |
129 | * @return VHPT entry address. |
| 130 | */ |
130 | */ |
| 131 | vhpt_entry_t *vhpt_hash(uintptr_t page, asid_t asid) |
131 | vhpt_entry_t *vhpt_hash(uintptr_t page, asid_t asid) |
| 132 | { |
132 | { |
| 133 | region_register rr_save, rr; |
133 | region_register rr_save, rr; |
| 134 | index_t vrn; |
134 | size_t vrn; |
| 135 | rid_t rid; |
135 | rid_t rid; |
| 136 | vhpt_entry_t *v; |
136 | vhpt_entry_t *v; |
| 137 | 137 | ||
| 138 | vrn = page >> VRN_SHIFT; |
138 | vrn = page >> VRN_SHIFT; |
| 139 | rid = ASID2RID(asid, vrn); |
139 | rid = ASID2RID(asid, vrn); |
| Line 174... | Line 174... | ||
| 174 | * false otherwise. |
174 | * false otherwise. |
| 175 | */ |
175 | */ |
| 176 | bool vhpt_compare(uintptr_t page, asid_t asid, vhpt_entry_t *v) |
176 | bool vhpt_compare(uintptr_t page, asid_t asid, vhpt_entry_t *v) |
| 177 | { |
177 | { |
| 178 | region_register rr_save, rr; |
178 | region_register rr_save, rr; |
| 179 | index_t vrn; |
179 | size_t vrn; |
| 180 | rid_t rid; |
180 | rid_t rid; |
| 181 | bool match; |
181 | bool match; |
| 182 | 182 | ||
| 183 | ASSERT(v); |
183 | ASSERT(v); |
| 184 | 184 | ||
| Line 221... | Line 221... | ||
| 221 | void |
221 | void |
| 222 | vhpt_set_record(vhpt_entry_t *v, uintptr_t page, asid_t asid, uintptr_t frame, |
222 | vhpt_set_record(vhpt_entry_t *v, uintptr_t page, asid_t asid, uintptr_t frame, |
| 223 | int flags) |
223 | int flags) |
| 224 | { |
224 | { |
| 225 | region_register rr_save, rr; |
225 | region_register rr_save, rr; |
| 226 | index_t vrn; |
226 | size_t vrn; |
| 227 | rid_t rid; |
227 | rid_t rid; |
| 228 | uint64_t tag; |
228 | uint64_t tag; |
| 229 | 229 | ||
| 230 | ASSERT(v); |
230 | ASSERT(v); |
| 231 | 231 | ||