38 void irq_port1_activate(
unsigned char irqno,
int (* irq)(
void));
39 void irq_port1_deactivate(
unsigned char irqno);
41 void irq_adc12_activate(
unsigned char adcno,
unsigned char config,
43 void irq_adc12_deactivate(
unsigned char adcno);
45 int irq_adc12_active(
unsigned char adcno);