| /kernel/trunk/arch/ia64/include/mm/vhpt.h |
|---|
| 0,0 → 1,25 |
| #ifndef __ia64_VHPT_H__ |
| #define __ia64_VHPT_H__ |
| #include <arch/mm/tlb.h> |
| #include <arch/mm/page.h> |
| __address vhpt_set_up(void); |
| static inline vhpt_entry_t tlb_entry_t2vhpt_entry_t(tlb_entry_t tentry) |
| { |
| vhpt_entry_t ventry; |
| ventry.word[0]=tentry.word[0]; |
| ventry.word[1]=tentry.word[1]; |
| return ventry; |
| } |
| void vhpt_mapping_insert(__address va, asid_t asid, tlb_entry_t entry); |
| void vhpt_invalidate_all(void); |
| void vhpt_invalidate_asid(asid_t asid); |
| #endif |