Lines Matching full:invariant

61         // INVARIANT: The caller ensures that `ptr` is valid for writing and remains valid for the
75         // INVARIANT: The caller ensures that `ptr` is valid for reading and remains valid for the
93         // SAFETY: By the type invariant, `self.as_raw` is a valid argument to `__cpumask_set_cpu`.
104         // SAFETY: By the type invariant, `self.as_raw` is a valid argument to
114         // SAFETY: By the type invariant, `self.as_raw` is a valid argument to `cpumask_test_cpu`.
123         // SAFETY: By the type invariant, `self.as_raw` is a valid argument to `cpumask_setall`.
132         // SAFETY: By the type invariant, `self.as_raw` is a valid argument to `cpumask_empty`.
141         // SAFETY: By the type invariant, `self.as_raw` is a valid argument to `cpumask_full`.
150         // SAFETY: By the type invariant, `self.as_raw` is a valid argument to `cpumask_weight`.
159         // SAFETY: By the type invariant, `Self::as_raw` is a valid argument to `cpumask_copy`.
233                 // INVARIANT: The associated memory is freed when the `CpumaskVar` goes out of
258                 // INVARIANT: The associated memory is freed when the `CpumaskVar` goes out of
277         // INVARIANT: The caller ensures that `ptr` is valid for writing and remains valid for the
291         // INVARIANT: The caller ensures that `ptr` is valid for reading and remains valid for the
338         // SAFETY: By the type invariant, `self.as_raw` is a valid argument to `free_cpumask_var`.