From e59860dde379a2ca379e16b21ff6fe5c1ef10fa3 Mon Sep 17 00:00:00 2001
From: Simon Pickartz <pickartz@lfbs.rwth-aachen.de>
Date: Tue, 31 May 2011 04:57:55 -0700
Subject: [PATCH] add icc_mail_ping to icc.h

---
 arch/x86/include/asm/icc.h | 2 ++
 arch/x86/scc/icc.c         | 1 +
 kernel/mailbox.c           | 3 ++-
 3 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/arch/x86/include/asm/icc.h b/arch/x86/include/asm/icc.h
index dfc69302..f08bd07c 100644
--- a/arch/x86/include/asm/icc.h
+++ b/arch/x86/include/asm/icc.h
@@ -54,6 +54,8 @@ int icc_init(void);
 int icc_ping(int ue);
 void icc_check(void);
 int icc_halt(void);
+int icc_mail_ping(void);
+
 #endif
 
 #ifdef __cplusplus
diff --git a/arch/x86/scc/icc.c b/arch/x86/scc/icc.c
index 594b6ebb..531001e6 100644
--- a/arch/x86/scc/icc.c
+++ b/arch/x86/scc/icc.c
@@ -237,6 +237,7 @@ int icc_mail_ping( void )
 	
 	// iRCCE is not thread save => disable interrupts
 	flags = irq_nested_disable();
+	kprintf( "Hello from icc_mail_ping\n" );	
 
 	// send mail
 	iRCCE_mail_send( 0, my_ue, 0, NULL, remote_rank );
diff --git a/kernel/mailbox.c b/kernel/mailbox.c
index f34f9e1a..36e01e59 100644
--- a/kernel/mailbox.c
+++ b/kernel/mailbox.c
@@ -28,6 +28,7 @@
 #include <asm/icc.h>
 
 int STDCALL mail_ping(void* arg) {
+	kprintf( "Hello from mail_ping\n" );
 	icc_mail_ping();	
 	
 	return 0;
@@ -36,7 +37,7 @@ int STDCALL mail_ping(void* arg) {
 int mailbox_test_init(void)
 {
 	char* argv[] = {"/bin/mailbox", NULL};
-
+	kprintf( "Hello from mailbox_test_init\n" );
 	create_user_task(NULL, "/bin/mailbox", argv);
 
 	return 0;