Lines Matching full:valid

18     // SAFETY: `nr_cpu_ids` is a valid global provided by the kernel.
39 /// // SAFETY: 0 is always a valid CPU number.
54     /// The caller must ensure that `id` is a valid CPU ID (i.e., `0 <= id < nr_cpu_ids()`).
60         // INVARIANT: The function safety guarantees `id` is a valid CPU id.
64     /// Creates a new [`CpuId`] from the given `id`, checking that it is valid.
69             // INVARIANT: `id` has just been checked as a valid CPU ID.
78     /// The caller must ensure that `id` is a valid CPU ID (i.e., `0 <= id < nr_cpu_ids()`).
86         // INVARIANT: The function safety guarantees `id` is a valid CPU id.
90     /// Creates a new [`CpuId`] from the given `id`, checking that it is valid.
95             // INVARIANT: `id` has just been checked as a valid CPU ID.
111     /// or the users could use a stale (yet valid) CPU ID.
114         // SAFETY: raw_smp_processor_id() always returns a valid CPU ID.
149     // SAFETY: The pointer returned by `get_cpu_device()`, if not `NULL`, is a valid pointer to