Rev 3022 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3022 | Rev 4420 | ||
---|---|---|---|
Line 34... | Line 34... | ||
34 | 34 | ||
35 | #ifndef KERN_ppc32_PIC_H_ |
35 | #ifndef KERN_ppc32_PIC_H_ |
36 | #define KERN_ppc32_PIC_H_ |
36 | #define KERN_ppc32_PIC_H_ |
37 | 37 | ||
38 | #include <arch/types.h> |
38 | #include <arch/types.h> |
- | 39 | #include <ddi/irq.h> |
|
39 | 40 | ||
40 | #define PIC_PENDING_LOW 8 |
41 | #define PIC_PENDING_LOW 8 |
41 | #define PIC_PENDING_HIGH 4 |
42 | #define PIC_PENDING_HIGH 4 |
42 | #define PIC_MASK_LOW 9 |
43 | #define PIC_MASK_LOW 9 |
43 | #define PIC_MASK_HIGH 5 |
44 | #define PIC_MASK_HIGH 5 |
44 | #define PIC_ACK_LOW 10 |
45 | #define PIC_ACK_LOW 10 |
45 | #define PIC_ACK_HIGH 6 |
46 | #define PIC_ACK_HIGH 6 |
46 | 47 | ||
47 | void pic_init(uintptr_t base, size_t size); |
48 | extern void pic_init(uintptr_t base, size_t size, cir_t *cir, void **cir_arg); |
48 | void pic_enable_interrupt(int intnum); |
49 | extern void pic_enable_interrupt(inr_t intnum); |
49 | void pic_disable_interrupt(int intnum); |
50 | extern void pic_disable_interrupt(inr_t intnum); |
50 | void pic_ack_interrupt(int intnum); |
51 | extern void pic_ack_interrupt(void *arg, inr_t intnum); |
51 | int pic_get_pending(void); |
52 | extern int pic_get_pending(void); |
52 | 53 | ||
53 | #endif |
54 | #endif |
54 | 55 | ||
55 | /** @} |
56 | /** @} |
56 | */ |
57 | */ |