/* Dump out the message pending in the shared message area  */
static void sep_dump_message(struct sep_device *sep)
/* Dump out the message pending in the shared message area  */
static void sep_dump_message(struct sep_device *sep)
{
	int count;
	for (count = 0; count < 12 * 4; count += 4)
		edbg("Word %d of the message is %u\n", count, *((u32 *) (sep->shared_addr + count)));
}