Lines Matching full:valid

25 /// A [`Cpumask`] instance always corresponds to a valid C `struct cpumask`.
27 /// The callers must ensure that the `struct cpumask` is valid for access and
28 /// remains valid for the lifetime of the returned reference.
40 /// // SAFETY: The `ptr` is valid for writing and remains valid for the lifetime of the
56 /// The caller must ensure that `ptr` is valid for writing and remains valid for the lifetime
61 // INVARIANT: The caller ensures that `ptr` is valid for writing and remains valid for the in from_raw_mut()
70 /// The caller must ensure that `ptr` is valid for reading and remains valid for the lifetime
75 // INVARIANT: The caller ensures that `ptr` is valid for reading and remains valid for the in from_raw()
93 // SAFETY: By the type invariant, `self.as_raw` is a valid argument to `__cpumask_set_cpu`. in set()
104 // SAFETY: By the type invariant, `self.as_raw` is a valid argument to in clear()
114 // SAFETY: By the type invariant, `self.as_raw` is a valid argument to `cpumask_test_cpu`. in test()
123 // SAFETY: By the type invariant, `self.as_raw` is a valid argument to `cpumask_setall`. in setall()
132 // SAFETY: By the type invariant, `self.as_raw` is a valid argument to `cpumask_empty`. in empty()
141 // SAFETY: By the type invariant, `self.as_raw` is a valid argument to `cpumask_full`. in full()
150 // SAFETY: By the type invariant, `self.as_raw` is a valid argument to `cpumask_weight`. in weight()
159 // SAFETY: By the type invariant, `Self::as_raw` is a valid argument to `cpumask_copy`. in copy()
170 /// A [`CpumaskVar`] instance always corresponds to a valid C `struct cpumask_var_t`.
172 /// The callers must ensure that the `struct cpumask_var_t` is valid for access and remains valid
231 // SAFETY: It is safe to call this method as the reference to `ptr` is valid. in new_zero()
256 // SAFETY: It is safe to call this method as the reference to `ptr` is valid. in new()
272 /// The caller must ensure that `ptr` is valid for writing and remains valid for the lifetime
277 // INVARIANT: The caller ensures that `ptr` is valid for writing and remains valid for the in from_raw_mut()
286 /// The caller must ensure that `ptr` is valid for reading and remains valid for the lifetime
291 // INVARIANT: The caller ensures that `ptr` is valid for reading and remains valid for the in from_raw()
338 // SAFETY: By the type invariant, `self.as_raw` is a valid argument to `free_cpumask_var`. in drop()