[PATCH 0/4] improve platform_get_irq.cocci

From: Julia Lawall
Date: Tue Nov 19 2019 - 13:04:22 EST


Various cleanups in platform_get_irq.cocci to give more useful
patches and to give a few more results.