Rev 2071 | Rev 3766 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2071 | Rev 2089 | ||
---|---|---|---|
Line 30... | Line 30... | ||
30 | * @{ |
30 | * @{ |
31 | */ |
31 | */ |
32 | /** @file |
32 | /** @file |
33 | */ |
33 | */ |
34 | 34 | ||
- | 35 | #include <memstr.h> |
|
35 | #include <arch/mm/vhpt.h> |
36 | #include <arch/mm/vhpt.h> |
36 | #include <mm/frame.h> |
37 | #include <mm/frame.h> |
37 | #include <print.h> |
38 | #include <print.h> |
38 | 39 | ||
39 | static vhpt_entry_t* vhpt_base; |
40 | static vhpt_entry_t* vhpt_base; |
Line 74... | Line 75... | ||
74 | srlz_d(); |
75 | srlz_d(); |
75 | 76 | ||
76 | ventry->word[0]=entry.word[0]; |
77 | ventry->word[0] = entry.word[0]; |
77 | ventry->word[1]=entry.word[1]; |
78 | ventry->word[1] = entry.word[1]; |
78 | ventry->present.tag.tag_word = tag; |
79 | ventry->present.tag.tag_word = tag; |
79 | - | ||
80 | - | ||
81 | } |
80 | } |
82 | 81 | ||
83 | void vhpt_invalidate_all() |
82 | void vhpt_invalidate_all() |
84 | { |
83 | { |
85 | memsetb((uintptr_t)vhpt_base,1<<VHPT_WIDTH,0); |
84 | memsetb((uintptr_t) vhpt_base, 1 << VHPT_WIDTH, 0); |