kern_return_t thread_set_state_from_user( register thread_t thread, int flavor, thread_state_t state, mach_msg_type_number_t state_count) { return thread_set_state_internal(thread, flavor, state, state_count, TRUE); }
kern_return_t thread_set_state( thread_t thread, int flavor, thread_state_t state, mach_msg_type_number_t state_count) { return thread_set_state_internal(thread, flavor, state, state_count, FALSE); }