openpic_acknowledge_irq
openpic_acknowledge_irq(irq, ci->ci_cpuid);
void openpic_acknowledge_irq(int, int);