[Cocci] [PATCH 0/4] improve platform_get_irq.cocci

[Julia Lawall]

Various cleanups in platform_get_irq.cocci to give more useful
patches and to give a few more results.
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci