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); |