Rev 2082 | Rev 3233 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2082 | Rev 2089 | ||
---|---|---|---|
Line 83... | Line 83... | ||
83 | #define AR_EXECUTE 0x1 |
83 | #define AR_EXECUTE 0x1 |
84 | #define AR_WRITE 0x2 |
84 | #define AR_WRITE 0x2 |
85 | 85 | ||
86 | #ifndef __ASM__ |
86 | #ifndef __ASM__ |
87 | 87 | ||
- | 88 | #include <arch/mm/as.h> |
|
88 | #include <arch/mm/frame.h> |
89 | #include <arch/mm/frame.h> |
- | 90 | #include <arch/interrupt.h> |
|
89 | #include <arch/barrier.h> |
91 | #include <arch/barrier.h> |
90 | #include <genarch/mm/page_ht.h> |
- | |
91 | #include <arch/mm/asid.h> |
92 | #include <arch/mm/asid.h> |
92 | #include <arch/types.h> |
93 | #include <arch/types.h> |
93 | #include <typedefs.h> |
- | |
94 | #include <debug.h> |
94 | #include <debug.h> |
95 | 95 | ||
96 | struct vhpt_tag_info { |
96 | struct vhpt_tag_info { |
97 | unsigned long long tag : 63; |
97 | unsigned long long tag : 63; |
98 | unsigned ti : 1; |
98 | unsigned ti : 1; |