openpic_cpc945_acknowledge_irq
void openpic_cpc945_acknowledge_irq(int, int);
openpic_ops.acknowledge_irq = openpic_cpc945_acknowledge_irq;