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 |