Re: [PATCH 09/16] drm/irq: Use unsigned int pipe in public API