lkpi_bind_irq_to_cpu
return (lkpi_bind_irq_to_cpu(irq, cpu_id));
int lkpi_bind_irq_to_cpu(unsigned int, int);