#ifndef _CK_mbox_h
#define _CK_mbox_h

#include  <thread.h>
#include  <synch.h>

typedef struct mmBox {
     int     Data;
     sema_t  NotFull;
     sema_t  NotEmpty;
}  mbox_t;

int  msg_init(mbox_t *);
int  msg_send(mbox_t *, int *);
int  msg_receive(mbox_t *, int *);

#endif