Lines Matching full:valid

24 /// All instances are valid tasks created by the C portion of the kernel.
27 /// that the allocation remains valid at least until the matching call to `put_task_struct`.
108             // SAFETY: If the current thread is still running, the current task is valid. Given  in current()
118         // SAFETY: By the type invariant, we know that `self.0` is a valid task. Valid tasks always  in group_leader()
119         // have a valid group_leader.  in group_leader()
123         // and given that a task has a reference to its group leader, we know it must be valid for  in group_leader()
130         // SAFETY: By the type invariant, we know that `self.0` is a valid task. Valid tasks always  in pid()
131         // have a valid pid.  in pid()
137         // SAFETY: By the type invariant, we know that `self.0` is valid.  in signal_pending()
143         // SAFETY: By the type invariant, we know that `self.0.get()` is non-null and valid.  in wake_up()
144         // And `wake_up_process` is safe to be called for any valid task, even if the task is  in wake_up()