Re: [PATCH 07/12] drm/irq: kerneldoc polish