14     pub lock: RawSpinlock,  field
21     lock: RawSpinlock,  field
37         lock: RawSpinlock::INIT,
61             if !old.lock.is_locked() {  in cmpxchg_loop()
66                     new.lock.set_value(false);  in cmpxchg_loop()
136         self.lock.lock();  in inc()
138         self.lock.unlock();  in inc()
159         self.lock.lock();  in inc_not_zero()
166         self.lock.unlock();  in inc_not_zero()
188         self.lock.lock();  in inc_not_dead()
193         self.lock.unlock();  in inc_not_dead()
214         self.lock.lock();  in dec()
223         self.lock.unlock();  in dec()
276         self.lock.lock();  in dec_not_zero()
283         self.lock.unlock();  in dec_not_zero()
305         self.lock.lock();  in dec_or_lock_not_zero()
312         self.lock.unlock();  in dec_or_lock_not_zero()
320         self.lock.lock();  in mark_dead()
322         self.lock.unlock();  in mark_dead()