Rev 2089 | Rev 3766 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2089 | Rev 3104 | ||
|---|---|---|---|
| Line 79... | Line 79... | ||
| 79 | ventry->present.tag.tag_word = tag; |
79 | ventry->present.tag.tag_word = tag; |
| 80 | } |
80 | } |
| 81 | 81 | ||
| 82 | void vhpt_invalidate_all() |
82 | void vhpt_invalidate_all() |
| 83 | { |
83 | { |
| 84 | memsetb((uintptr_t) vhpt_base, 1 << VHPT_WIDTH, 0); |
84 | memsetb(vhpt_base, 1 << VHPT_WIDTH, 0); |
| 85 | } |
85 | } |
| 86 | 86 | ||
| 87 | void vhpt_invalidate_asid(asid_t asid) |
87 | void vhpt_invalidate_asid(asid_t asid) |
| 88 | { |
88 | { |
| 89 | vhpt_invalidate_all(); |
89 | vhpt_invalidate_all(); |