_kern_debug_thread
extern status_t _kern_debug_thread(thread_id thread);
return _kern_debug_thread(thread);