switch (pthread_run->attr.sched_attr) {
switch (pthread_run->attr.schedparam_policy) {
static void set_thread_timer(){	static int last_sched_attr = SCHED_RR;	switch (pthread_run->attr.sched_attr) {	case SCHED_RR:		machdep_set_thread_timer(&(pthread_run->machdep_data));		break;	case SCHED_FIFO:		if (last_sched_attr != SCHED_FIFO) {			machdep_unset_thread_timer();		}		break;	case SCHED_IO:		if ((last_sched_attr != SCHED_IO) && (!sig_count)) {			machdep_set_thread_timer(&(pthread_run->machdep_data));		}		break;	default:		machdep_set_thread_timer(&(pthread_run->machdep_data));		break;	}     last_sched_attr = pthread_run->attr.sched_attr;}