rem: static int dump_thread_list(int argc, char **argv)
add: dump_thread_list(int argc, char **argv)
context: static int dump_thread_list(int argc, char **argv){	struct thread *t;	struct hash_iterator i;	hash_open(thread_hash, &i);	while((t = hash_next(thread_hash, &i)) != NULL) {		dprintf("%p", t);		if(t->name != NULL)			dprintf("\t%32s", t->name);		else			dprintf("\t%32s", "<NULL>");		dprintf("\t0x%x", t->id);		dprintf("\t%16s", state_to_text(t->state));		if(t->cpu)			dprintf("\t%d", t->cpu->info.cpu_num);		else			dprintf("\tNOCPU");		dprintf("\t0x%lx\n", t->kernel_stack_base);	}	hash_close(thread_hash, &i, false);	return 0;}