Rev 4338 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4338 | Rev 4691 | ||
|---|---|---|---|
| Line 51... | Line 51... | ||
| 51 | 51 | ||
| 52 | 52 | ||
| 53 | void vhpt_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry) |
53 | void vhpt_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry) |
| 54 | { |
54 | { |
| 55 | region_register rr_save, rr; |
55 | region_register rr_save, rr; |
| 56 | index_t vrn; |
56 | size_t vrn; |
| 57 | rid_t rid; |
57 | rid_t rid; |
| 58 | uint64_t tag; |
58 | uint64_t tag; |
| 59 | 59 | ||
| 60 | vhpt_entry_t *ventry; |
60 | vhpt_entry_t *ventry; |
| 61 | 61 | ||