top               417 sys/ipc/msg.c  	thread_t t, top;
top               420 sys/ipc/msg.c  	top = queue_entry(q, struct thread, ipc_link);
top               424 sys/ipc/msg.c  		if (t->priority < top->priority)
top               425 sys/ipc/msg.c  			top = t;
top               428 sys/ipc/msg.c  	queue_remove(&top->ipc_link);
top               429 sys/ipc/msg.c  	return top;
top               338 sys/kern/sched.c 	thread_t top, t = NULL;
top               350 sys/kern/sched.c 		top = queue_entry(q, struct thread, sched_link);
top               353 sys/kern/sched.c 			if (t->priority < top->priority)
top               354 sys/kern/sched.c 				top = t;
top               357 sys/kern/sched.c 		queue_remove(&top->sched_link);
top               358 sys/kern/sched.c 		top->slpret = 0;
top               359 sys/kern/sched.c 		sched_setrun(top);