`sched_active_thread->pid` == `sched_thread_pid`.