2017-08-24 01:14:39 -04:00
|
|
|
extern void pic_init(void);
|
|
|
|
|
extern void pic2_init(void);
|
|
|
|
|
extern void pic_reset(void);
|
2016-06-26 00:34:39 +02:00
|
|
|
|
2017-08-24 01:14:39 -04:00
|
|
|
extern void picint(uint16_t num);
|
|
|
|
|
extern void picintlevel(uint16_t num);
|
|
|
|
|
extern void picintc(uint16_t num);
|
|
|
|
|
extern uint8_t picinterrupt(void);
|
|
|
|
|
extern void picclear(int num);
|
|
|
|
|
extern void dumppic(void);
|
