`sched_active_pid` is preferable over `sched_active_thread->pid`.