From 6cf477f3c617753bd6846ec4d3d3c9992d443546 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sat, 22 Oct 2016 11:59:22 +0200
Subject: [PATCH] remove obsolte "RCCE_release_lock" => triggers a deadlock on
 HermitCore

---
 hermit/usr/ircce/RCCE_admin.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hermit/usr/ircce/RCCE_admin.c b/hermit/usr/ircce/RCCE_admin.c
index 832f6da59..48d04dcce 100644
--- a/hermit/usr/ircce/RCCE_admin.c
+++ b/hermit/usr/ircce/RCCE_admin.c
@@ -1196,8 +1196,8 @@ int RCCE_finalize(void){
 //  for (iword=0; iword<(RCCE_BUFF_SIZE_MAX)/sizeof(int); iword++)
 //      ((int *)(RCCE_comm_buffer[ue]))[iword] = 0;
 //    MPBunalloc(&(RCCE_comm_buffer[ue]));
-  RCCE_release_lock(RCCE_IAM);
 #ifndef __hermit__
+  RCCE_release_lock(RCCE_IAM);
   // each core needs to unmap all special memory locations
   for (ue=0; ue<RCCE_NP; ue++) { 
     FreeConfigReg((int *)(virtual_lockaddress[ue]));