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. |