kernel/sync/lock.rs

21 /// # Safety
36     /// # Safety
48     /// # Safety
56     /// # Safety
63     /// # Safety
68         // SAFETY: The safety requirements ensure that the lock is initialised.  in relock()
93 // SAFETY: `Lock` can be transferred across thread boundaries iff the data it protects can.
96 // SAFETY: `Lock` serialises the interior mutability it provides, so it is `Sync` as long as the
107             // SAFETY: `slot` is valid while the closure is called and both `name` and `key` have  in new()
119         // SAFETY: The constructor of the type calls `init`, so the existence of the object proves  in lock()
122         // SAFETY: The lock was just acquired.  in lock()
139 // SAFETY: `Guard` is sync when the data protected by the lock is also sync.
144         // SAFETY: The caller owns the lock, so it is safe to unlock it.  in do_unlocked()
147         // SAFETY: The lock was just unlocked above and is being relocked now.  in do_unlocked()
159         // SAFETY: The caller owns the lock, so it is safe to deref the protected data.  in deref()
166         // SAFETY: The caller owns the lock, so it is safe to deref the protected data.  in deref_mut()
173         // SAFETY: The caller owns the lock, so it is safe to unlock it.  in drop()
181     /// # Safety