> I'm not the one to decide whether we should use cleanup for mutex locks. Would you become interested to support the conversion of another tiny script (like the following) for the semantic patch language into a corresponding SmPL script variant which can be used together with the tool “coccicheck” any more? @replacement@ expression e; @@ -raw_spin_lock +guard(raw_spinlock_irq) (&e); ... when != e when any -raw_spin_unlock(&e); Regards, Markus