add: add_debugger_command("run_q", &dump_run_q, "list threads in run queue");
context: start_scheduler(void){	int state;	// XXX may not be the best place for this	// invalidate all of the other processors' TLB caches	state = disable_interrupts();	arch_cpu_global_TLB_invalidate();	smp_send_broadcast_ici(SMP_MSG_GLOBAL_INVL_PAGE, 0, 0, 0, NULL, SMP_MSG_FLAG_SYNC);	restore_interrupts(state);	// start the other processors	smp_send_broadcast_ici(SMP_MSG_RESCHEDULE, 0, 0, 0, NULL, SMP_MSG_FLAG_ASYNC);	state = disable_interrupts();	GRAB_THREAD_LOCK();	resched();	RELEASE_THREAD_LOCK();	restore_interrupts(state);}