Rev 2071 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2071 | Rev 3774 | ||
|---|---|---|---|
| Line 42... | Line 42... | ||
| 42 | 42 | ||
| 43 | static inline vhpt_entry_t tlb_entry_t2vhpt_entry_t(tlb_entry_t tentry) |
43 | static inline vhpt_entry_t tlb_entry_t2vhpt_entry_t(tlb_entry_t tentry) |
| 44 | { |
44 | { |
| 45 | vhpt_entry_t ventry; |
45 | vhpt_entry_t ventry; |
| 46 | 46 | ||
| 47 | ventry.word[0]=tentry.word[0]; |
47 | ventry.word[0] = tentry.word[0]; |
| 48 | ventry.word[1]=tentry.word[1]; |
48 | ventry.word[1] = tentry.word[1]; |
| 49 | 49 | ||
| 50 | return ventry; |
50 | return ventry; |
| 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); |