Rev 1288 | Rev 1477 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1288 | Rev 1411 | ||
|---|---|---|---|
| Line 52... | Line 52... | ||
| 52 | 52 | ||
| 53 | void (* disable_irqs_function)(__u16 irqmask) = NULL; |
53 | void (* disable_irqs_function)(__u16 irqmask) = NULL; |
| 54 | void (* enable_irqs_function)(__u16 irqmask) = NULL; |
54 | void (* enable_irqs_function)(__u16 irqmask) = NULL; |
| 55 | void (* eoi_function)(void) = NULL; |
55 | void (* eoi_function)(void) = NULL; |
| 56 | 56 | ||
| 57 | static void PRINT_INFO_ERRCODE(istate_t *istate) |
57 | void PRINT_INFO_ERRCODE(istate_t *istate) |
| 58 | { |
58 | { |
| 59 | char *symbol = get_symtab_entry(istate->eip); |
59 | char *symbol = get_symtab_entry(istate->eip); |
| 60 | 60 | ||
| 61 | if (!symbol) |
61 | if (!symbol) |
| 62 | symbol = ""; |
62 | symbol = ""; |
| Line 137... | Line 137... | ||
| 137 | #else |
137 | #else |
| 138 | panic("fpu fault"); |
138 | panic("fpu fault"); |
| 139 | #endif |
139 | #endif |
| 140 | } |
140 | } |
| 141 | 141 | ||
| 142 | void page_fault(int n, istate_t *istate) |
- | |
| 143 | { |
- | |
| 144 | __address page; |
- | |
| 145 | - | ||
| 146 | page = read_cr2(); |
- | |
| 147 | if (as_page_fault(page, istate) == AS_PF_FAULT) { |
- | |
| 148 | PRINT_INFO_ERRCODE(istate); |
- | |
| 149 | printf("page fault address: %#x\n", page); |
- | |
| 150 | panic("page fault\n"); |
- | |
| 151 | } |
- | |
| 152 | } |
- | |
| 153 | - | ||
| 154 | void syscall(int n, istate_t *istate) |
142 | void syscall(int n, istate_t *istate) |
| 155 | { |
143 | { |
| 156 | panic("Obsolete syscall handler."); |
144 | panic("Obsolete syscall handler."); |
| 157 | } |
145 | } |
| 158 | 146 | ||