openpic_cpc945_enable_irq
void openpic_cpc945_enable_irq(int, int, int);
openpic_ops.enable_irq = openpic_cpc945_enable_irq;