rem: dprintf("%6lx  ", t->sem.blocking);
add: kprintf("%6lx  ", t->sem.blocking);
context: dump_thread_list(int argc, char **argv){	struct thread *t;	struct hash_iterator i;	dprintf("thread         id  state       sem cpu  stack       name\n");	hash_open(sThreadHash, &i);	while ((t = hash_next(sThreadHash, &i)) != NULL) {		dprintf("%p %6lx  %-9s", t, t->id, state_to_text(t, t->state));		// does it block on a semaphore?		if (t->state == B_THREAD_WAITING)			dprintf("%6lx  ", t->sem.blocking);		else			dprintf("     -  ");		// on which CPU does it run?		if (t->cpu)			dprintf("%2d", t->cpu->info.cpu_num);		else			dprintf(" -");		dprintf("  %p  %s\n", (void *)t->kernel_stack_base, t->name != NULL ? t->name : "<NULL>");	}	hash_close(sThreadHash, &i, false);	return 0;}