Rev 1050 | Rev 1072 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1050 | Rev 1051 | ||
---|---|---|---|
Line 86... | Line 86... | ||
86 | 86 | ||
87 | extern void (* disable_irqs_function)(__u16 irqmask); |
87 | extern void (* disable_irqs_function)(__u16 irqmask); |
88 | extern void (* enable_irqs_function)(__u16 irqmask); |
88 | extern void (* enable_irqs_function)(__u16 irqmask); |
89 | extern void (* eoi_function)(void); |
89 | extern void (* eoi_function)(void); |
90 | 90 | ||
- | 91 | extern void print_info_errcode(int n, istate_t *istate); |
|
91 | extern void null_interrupt(int n, istate_t *istate); |
92 | extern void null_interrupt(int n, istate_t *istate); |
92 | extern void gp_fault(int n, istate_t *istate); |
93 | extern void gp_fault(int n, istate_t *istate); |
93 | extern void nm_fault(int n, istate_t *istate); |
94 | extern void nm_fault(int n, istate_t *istate); |
94 | extern void ss_fault(int n, istate_t *istate); |
95 | extern void ss_fault(int n, istate_t *istate); |
95 | extern void page_fault(int n, istate_t *istate); |
96 | extern void page_fault(int n, istate_t *istate); |