2LS sched op: thread_paused()