Rev 1290 | Go to most recent revision | Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 1210 | vana | 1 | #include <arch/mm/vhpt.h> |
| 2 | #include <mm/frame.h> |
||
| 3 | #include <print.h> |
||
| 4 | |||
| 5 | |||
| 6 | static vhpt_entry_t* vhpt_base; |
||
| 7 | |||
| 8 | __address vhpt_set_up(void) |
||
| 9 | { |
||
| 10 | vhpt_base=(vhpt_entry_t*) PA2KA(PFN2ADDR(frame_alloc(VHPT_WIDTH-FRAME_WIDTH,FRAME_KA))); |
||
| 11 | if(!vhpt_base) panic("Kernel configured with VHPT but no memory for table."); |
||
| 12 | vhpt_invalidate_all(); |
||
| 13 | return (__address) vhpt_base; |
||
| 14 | } |
||
| 15 | |||
| 16 | |||
| 17 | void vhpt_mapping_insert(__address va, asid_t asid, tlb_entry_t entry) |
||
| 18 | { |
||
| 19 | region_register rr_save, rr; |
||
| 20 | index_t vrn; |
||
| 21 | rid_t rid; |
||
| 22 | __u64 tag; |
||
| 23 | |||
| 24 | vhpt_entry_t *ventry; |
||
| 25 | |||
| 26 | |||
| 27 | vrn = va >> VRN_SHIFT; |
||
| 28 | rid = ASID2RID(asid, vrn); |
||
| 29 | |||
| 30 | rr_save.word = rr_read(vrn); |
||
| 31 | rr.word = rr_save.word; |
||
| 32 | rr.map.rid = rid; |
||
| 33 | rr_write(vrn, rr.word); |
||
| 34 | srlz_i(); |
||
| 35 | |||
| 36 | ventry = (vhpt_entry_t *) thash(va); |
||
| 37 | tag = ttag(va); |
||
| 38 | rr_write(vrn, rr_save.word); |
||
| 39 | srlz_i(); |
||
| 40 | srlz_d(); |
||
| 41 | |||
| 42 | ventry->word[0]=entry.word[0]; |
||
| 43 | ventry->word[1]=entry.word[1]; |
||
| 44 | ventry->present.tag.tag_word = tag; |
||
| 45 | |||
| 46 | |||
| 47 | } |
||
| 48 | |||
| 49 | void vhpt_invalidate_all() |
||
| 50 | { |
||
| 51 | memsetb((__address)vhpt_base,1<<VHPT_WIDTH,0); |
||
| 52 | } |
||
| 53 | |||
| 54 | void vhpt_invalidate_asid(asid_t asid) |
||
| 55 | { |
||
| 56 | vhpt_invalidate_all(); |
||
| 57 | } |
||
| 58 | |||
| 59 |