Rev 2787 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2787 | Rev 3424 | ||
---|---|---|---|
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(); |