#include <../arch/arch.h>

#ifdef	ARCH_IPC_SUPPORTED

typedef struct ipc_head_s
{
	u32_t	client_pid;		/* pid of sender */
	u32_t	serial;			/* number if this data block */
	u32_t	num_data_bytes;	/* data len in this message */
	u32_t	crc;			/* CRC code (of entire data block) */
}	ipc_head_t, *ipc_head_p;

/*
 * IPC_MSG_LEN defined in arch.h
 */
#define	IPC_MSG_DATA_LEN	(IPC_MSG_LEN - sizeof(ipc_msg_head_t))

#error	"Implement connection-oriented backend !"

#endif	/* ARCH_IPC_SUPPORTED */
