[PATCH 11/18] drm/irq: Look up the pci irq directly in the drm_control ioctl