receiver           70 sys/include/thread.h 	thread_t	receiver;	/* thread that receives IPC message */
receiver          275 sys/ipc/msg.c  	t->receiver = curthread;
receiver          326 sys/ipc/msg.c  	t->receiver = NULL;
receiver          363 sys/ipc/msg.c  		if (t->receiver != NULL)
receiver          364 sys/ipc/msg.c  			t->receiver->sender = NULL;
receiver          371 sys/ipc/msg.c  			t->sender->receiver = NULL;