Rev 1787 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1787 | Rev 1888 | ||
---|---|---|---|
Line 30... | Line 30... | ||
30 | * @{ |
30 | * @{ |
31 | */ |
31 | */ |
32 | /** @file |
32 | /** @file |
33 | */ |
33 | */ |
34 | 34 | ||
35 | - | ||
36 | #ifndef __ia64_VHPT_H__ |
35 | #ifndef KERN_ia64_VHPT_H_ |
37 | #define __ia64_VHPT_H__ |
36 | #define KERN_ia64_VHPT_H_ |
38 | 37 | ||
39 | #include <arch/mm/tlb.h> |
38 | #include <arch/mm/tlb.h> |
40 | #include <arch/mm/page.h> |
39 | #include <arch/mm/page.h> |
41 | 40 | ||
42 | uintptr_t vhpt_set_up(void); |
41 | uintptr_t vhpt_set_up(void); |
Line 53... | Line 52... | ||
53 | 52 | ||
54 | void vhpt_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry); |
53 | void vhpt_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry); |
55 | void vhpt_invalidate_all(void); |
54 | void vhpt_invalidate_all(void); |
56 | void vhpt_invalidate_asid(asid_t asid); |
55 | void vhpt_invalidate_asid(asid_t asid); |
57 | 56 | ||
58 | - | ||
59 | #endif |
57 | #endif |
60 | 58 | ||
61 | - | ||
62 | /** @} |
59 | /** @} |
63 | */ |
60 | */ |
64 | - |