thread_schedule() now static.