rem: dprintf("next thread in queue after thread @ %p\n", t);
add: kprintf("next thread in queue after thread @ %p\n", t);
context: dump_next_thread_in_q(int argc, char **argv){	struct thread *t = last_thread_dumped;	if (t == NULL) {		dprintf("no thread previously dumped. Examine a thread first.\n");		return 0;	}	dprintf("next thread in queue after thread @ %p\n", t);	if (t->queue_next != NULL)		_dump_thread_info(t->queue_next);	else		dprintf("NULL\n");	return 0;}