enable_irq
void (*enable_irq)(int, int, int);
openpic_ops.enable_irq = openpic_cpc945_enable_irq;
(openpic_ops.enable_irq)(irq, ist, pri);
enable_irq(adev->irq.irq);
enable_irq(dcp->hdmi_hpd_irq);
enable_irq(dcp->hdmi_hpd_irq);