[PATCH 0/4 v2] improve platform_get_irq.cocci

From: Julia Lawall
Date: Tue Nov 19 2019 - 16:44:07 EST


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

v2: fix some interchanged From's and To's