Rev 1702 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1702 | Rev 1780 | ||
---|---|---|---|
Line 37... | Line 37... | ||
37 | #define __ia64_VHPT_H__ |
37 | #define __ia64_VHPT_H__ |
38 | 38 | ||
39 | #include <arch/mm/tlb.h> |
39 | #include <arch/mm/tlb.h> |
40 | #include <arch/mm/page.h> |
40 | #include <arch/mm/page.h> |
41 | 41 | ||
42 | __address vhpt_set_up(void); |
42 | uintptr_t vhpt_set_up(void); |
43 | 43 | ||
44 | static inline vhpt_entry_t tlb_entry_t2vhpt_entry_t(tlb_entry_t tentry) |
44 | static inline vhpt_entry_t tlb_entry_t2vhpt_entry_t(tlb_entry_t tentry) |
45 | { |
45 | { |
46 | vhpt_entry_t ventry; |
46 | vhpt_entry_t ventry; |
47 | 47 | ||
Line 49... | Line 49... | ||
49 | ventry.word[1]=tentry.word[1]; |
49 | ventry.word[1]=tentry.word[1]; |
50 | 50 | ||
51 | return ventry; |
51 | return ventry; |
52 | } |
52 | } |
53 | 53 | ||
54 | void vhpt_mapping_insert(__address va, asid_t asid, tlb_entry_t entry); |
54 | void vhpt_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry); |
55 | void vhpt_invalidate_all(void); |
55 | void vhpt_invalidate_all(void); |
56 | void vhpt_invalidate_asid(asid_t asid); |
56 | void vhpt_invalidate_asid(asid_t asid); |
57 | 57 | ||
58 | 58 | ||
59 | #endif |
59 | #endif |