Lines Matching full:valid

39 /// This represents a valid `struct srcu_struct` initialized by the C SRCU API
40 /// and it remains pinned and valid until the pinned destructor runs.
53             // INVARIANT: On success, the C initializer creates a valid `srcu_struct` and  in new()
56                 // SAFETY: `ptr` points to valid uninitialised memory for a `srcu_struct`.  in new()
70         // SAFETY: By the type invariants, `self` contains a valid `struct srcu_struct`.  in read_lock()
84         // SAFETY: By the type invariants, `self` contains a valid `struct srcu_struct`.  in synchronize()
96         // SAFETY: By the type invariants, `self` contains a valid `struct srcu_struct`.  in synchronize_expedited()
107 …         // SAFETY: By the type invariants, `self` contains a valid and pinned `struct srcu_struct`  in drop()
124             // SAFETY: By the type invariants, `self` contains a valid and pinned  in drop()
130         // SAFETY: By the type invariants, `self` contains a valid and pinned `struct srcu_struct`.  in drop()
133         // SAFETY: By the type invariants, `self` contains a valid and pinned `struct srcu_struct`.  in drop()
168         // which returns a valid index for the SRCU instance.  in drop()