_sun4d_build_device_irq
irq = _sun4d_build_device_irq(real_irq, pil, board);
return _sun4d_build_device_irq(real_irq, real_irq, board);