Rev 1 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1 | Rev 206 | ||
|---|---|---|---|
| Line 44... | Line 44... | ||
| 44 | 44 | ||
| 45 | extern void i8259_init(void); |
45 | extern void i8259_init(void); |
| 46 | extern void pic_enable_irqs(__u16 irqmask); |
46 | extern void pic_enable_irqs(__u16 irqmask); |
| 47 | extern void pic_disable_irqs(__u16 irqmask); |
47 | extern void pic_disable_irqs(__u16 irqmask); |
| 48 | extern void pic_eoi(void); |
48 | extern void pic_eoi(void); |
| 49 | extern void pic_spurious(__u8 n, __u32 stack[]); |
49 | extern void pic_spurious(__u8 n, __native stack[]); |
| 50 | 50 | ||
| 51 | #endif |
51 | #endif |