From ddc72ef51e083223ec5ff2135d58a018c311f5ea Mon Sep 17 00:00:00 2001
From: Simon Pickartz <pickartz@lfbs.rwth-aachen.de>
Date: Sun, 5 Jun 2011 05:46:39 -0700
Subject: [PATCH] add some printfs for debugging purpose

---
 arch/x86/scc/icc.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/arch/x86/scc/icc.c b/arch/x86/scc/icc.c
index d50bcf3b..96ea623d 100644
--- a/arch/x86/scc/icc.c
+++ b/arch/x86/scc/icc.c
@@ -235,13 +235,13 @@ int icc_mail_ping( void )
 	uint32_t flags;
 	int remote_rank = (my_ue+1)%2;
 	
-	kprintf( "### Hello from icc_mail_ping\n" );	
+	kprintf( "#### Hello from icc_mail_ping\n" );	
 	// iRCCE is not thread save => disable interrupts
 	flags = irq_nested_disable();
 
 	// send mail
 	iRCCE_mail_send( 0, my_ue, 0, NULL, remote_rank );
-
+	kprintf( "### Message sent ...\n" );
 
 	// wait for mail from remote rank
 	iRCCE_MAIL_HEADER* mail;