int this_cpu = (long) __bind_cpu;  printk("softlockup thread %d started up.\n", this_cpu); 
static int watchdog(void * __bind_cpu){	struct sched_param param = { .sched_priority = 99 };	int this_cpu = (long) __bind_cpu;	printk("softlockup thread %d started up.\n", this_cpu);	sched_setscheduler(current, SCHED_FIFO, &param);	current->flags |= PF_NOFREEZE;	set_current_state(TASK_INTERRUPTIBLE);	/*	 * Run briefly once per second - if this gets delayed for	 * more than 10 seconds then the debug-printout triggers	 * in softlockup_tick():	 */	while (!kthread_should_stop()) {		msleep_interruptible(1000);		touch_softlockup_watchdog();	}	__set_current_state(TASK_RUNNING);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3aef1bde147a503aacb59b767826720a996aea6d/softlockup.c/buggy/kernel/softlockup.c