Rev 2467 | Rev 3233 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2467 | Rev 3071 | ||
---|---|---|---|
Line 126... | Line 126... | ||
126 | 126 | ||
127 | #ifndef __ASM__ |
127 | #ifndef __ASM__ |
128 | 128 | ||
129 | #include <mm/mm.h> |
129 | #include <mm/mm.h> |
130 | #include <arch/interrupt.h> |
130 | #include <arch/interrupt.h> |
- | 131 | #include <arch/types.h> |
|
- | 132 | #include <typedefs.h> |
|
131 | 133 | ||
132 | /* Page fault error codes. */ |
134 | /* Page fault error codes. */ |
133 | 135 | ||
134 | /** When bit on this position is 0, the page fault was caused by a not-present |
136 | /** When bit on this position is 0, the page fault was caused by a not-present |
135 | * page. |
137 | * page. |