Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/arch/ia64/src/mm/vhpt.c

    r44a7ee5 ra35b458  
    4646        if (!vhpt_frame)
    4747                panic("Kernel configured with VHPT but no memory for table.");
    48        
     48
    4949        vhpt_base = (vhpt_entry_t *) PA2KA(vhpt_frame);
    5050        vhpt_invalidate_all();
     
    5959        rid_t rid;
    6060        uint64_t tag;
    61        
     61
    6262        vhpt_entry_t *ventry;
    63        
     63
    6464        vrn = va >> VRN_SHIFT;
    6565        rid = ASID2RID(asid, vrn);
    66        
     66
    6767        rr_save.word = rr_read(vrn);
    6868        rr.word = rr_save.word;
     
    7070        rr_write(vrn, rr.word);
    7171        srlz_i();
    72        
     72
    7373        ventry = (vhpt_entry_t *) thash(va);
    7474        tag = ttag(va);
     
    7676        srlz_i();
    7777        srlz_d();
    78        
     78
    7979        ventry->word[0] = entry.word[0];
    8080        ventry->word[1] = entry.word[1];
Note: See TracChangeset for help on using the changeset viewer.