openpic_cpc945_disable_irq
void openpic_cpc945_disable_irq(int, int);
openpic_ops.disable_irq = openpic_cpc945_disable_irq;