Subversion Repositories HelenOS

Rev

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