openpic_gen_acknowledge_irq
void openpic_gen_acknowledge_irq(int, int);
openpic_gen_acknowledge_irq,
openpic_gen_acknowledge_irq(irq, cpuid);