// IRQ0-15.H
// Allows installation of ISR into any interrupt request line

// kills the current interrupt, no matter where it is
void sendEOI();

// returns the old PIC mask
// sets ISR to IRQnumber service routine
unsigned char initirq(char IRQnumber,void interrupt (*ISR)());

// restores IRQnumber service routine
void restoreirq(char IRQnumber);