@@
//identifier f;
expression E;
@@

* WARN_ON(E && !irqs_disabled())