11     pub lock: RawSpinlock,  field
18     lock: RawSpinlock,  field
34         lock: RawSpinlock::INIT,
58             if !old.lock.is_locked() {  in cmpxchg_loop()
63                     new.lock.set_value(false);  in cmpxchg_loop()
133         self.lock.lock();  in inc()
135         self.lock.unlock();  in inc()
155         self.lock.lock();  in inc_not_zero()
162         self.lock.unlock();  in inc_not_zero()
184         self.lock.lock();  in inc_not_dead()
189         self.lock.unlock();  in inc_not_dead()
210         self.lock.lock();  in dec()
219         self.lock.unlock();  in dec()
273         self.lock.lock();  in dec_not_zero()
280         self.lock.unlock();  in dec_not_zero()
302         self.lock.lock();  in dec_or_lock_not_zero()
309         self.lock.unlock();  in dec_or_lock_not_zero()
317         self.lock.lock();  in mark_dead()
319         self.lock.unlock();  in mark_dead()