ll_free_task_struct(thread); 
free_pages((unsigned long)thread, THREAD_SIZE_ORDER); 
void free_thread_info(struct thread_info *thread){	if (EXTRA_TASK_STRUCT && nr_thread_info < EXTRA_TASK_STRUCT) {		unsigned long *p = (unsigned long *)thread;		p[0] = (unsigned long)thread_info_head;		thread_info_head = p;		nr_thread_info += 1;	} else		ll_free_task_struct(thread);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4f7a18124c1a44858fb74a1c4234015009952959/process.c/clean/arch/arm/kernel/process.c