Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Mageia > 7 > i586 > media > core-release > by-pkgid > 589b38626859682dda0b4289ae4806af > files > 197

coccinelle-examples-1.0.7-2.mga7.i586.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

@@ @@
( 
  cli(); 
| 
  spin_lock_irqsave(...);
)
  ... when != \( sti(); \| restore_flags(...); \| spin_unlock_irqrestore(...); \)
? \( cli(); \| spin_lock_irqsave(...); \)

@@ @@
( 
  sti(); 
| 
  restore_flags(...);
)
  ... when != cli();
( 
  sti(); 
| 
  restore_flags(...);
)