demos/sgrep/intr4.sgrep

   1 @@ @@
   2 (
   3   cli();
   4 |
   5   spin_lock_irqsave(...);
   6 )
   7   ... when != \( sti(); \| restore_flags(...); \| spin_unlock_irqrestore(...); \)
   8 ? \( cli(); \| spin_lock_irqsave(...); \)
   9
  10 @@ @@
  11 (
  12   sti();
  13 |
  14   restore_flags(...);
  15 )
  16   ... when != cli();
  17 (
  18   sti();
  19 |
  20   restore_flags(...);
  21 )