STATE_READY       413 ipc/mqueue.c   		if (ewp->state == STATE_READY) {
STATE_READY       418 ipc/mqueue.c   		if (ewp->state == STATE_READY) {
STATE_READY       789 ipc/mqueue.c   	receiver->state = STATE_READY;
STATE_READY       808 ipc/mqueue.c   	sender->state = STATE_READY;