// update some references to the deprecated SPIN_LOCK_UNLOCKED
//
// Confidence: High
// Copyright: (C) Gilles Muller, Julia Lawall, EMN, INRIA, DIKU.  GPLv2.
// URL: https://coccinelle.gitlabpages.inria.fr/website/rules/sl.html
// Options:

@@
declarer name DEFINE_SPINLOCK;
identifier xxx_lock;
@@

- spinlock_t xxx_lock = SPIN_LOCK_UNLOCKED;
+ DEFINE_SPINLOCK(xxx_lock);

@@
expression E;
@@

- E = SPIN_LOCK_UNLOCKED
+ spin_lock_init(&E)