Lines Matching full:valid
40 /// All instances are valid tasks created by the C portion of the kernel.
43 /// that the allocation remains valid at least until the matching call to `put_task_struct`.
124 // SAFETY: If the current thread is still running, the current task is valid. Given in current()
134 // SAFETY: By the type invariant, we know that `self.0` is a valid task. Valid tasks always in group_leader()
135 // have a valid `group_leader`. in group_leader()
139 // and given that a task has a reference to its group leader, we know it must be valid for in group_leader()
146 // SAFETY: By the type invariant, we know that `self.0` is a valid task. Valid tasks always in pid()
147 // have a valid pid. in pid()
153 // SAFETY: By the type invariant, we know that `self.0` is valid. in signal_pending()
159 // SAFETY: By the type invariant, we know that `self.0.get()` is non-null and valid. in wake_up()
160 // And `wake_up_process` is safe to be called for any valid task, even if the task is in wake_up()