summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--c/src/exec/score/src/coremutexsurrender.c1
-rw-r--r--cpukit/score/src/coremutexsurrender.c1
2 files changed, 2 insertions, 0 deletions
diff --git a/c/src/exec/score/src/coremutexsurrender.c b/c/src/exec/score/src/coremutexsurrender.c
index d64badae1f..7eb1497c9f 100644
--- a/c/src/exec/score/src/coremutexsurrender.c
+++ b/c/src/exec/score/src/coremutexsurrender.c
@@ -81,6 +81,7 @@ CORE_mutex_Status _CORE_mutex_Surrender(
/* should never occur */
return CORE_MUTEX_STATUS_NESTING_NOT_ALLOWED;
case CORE_MUTEX_NESTING_BLOCKS:
+ /* Currently no API exercises this behavior. */
break;
}
}
diff --git a/cpukit/score/src/coremutexsurrender.c b/cpukit/score/src/coremutexsurrender.c
index d64badae1f..7eb1497c9f 100644
--- a/cpukit/score/src/coremutexsurrender.c
+++ b/cpukit/score/src/coremutexsurrender.c
@@ -81,6 +81,7 @@ CORE_mutex_Status _CORE_mutex_Surrender(
/* should never occur */
return CORE_MUTEX_STATUS_NESTING_NOT_ALLOWED;
case CORE_MUTEX_NESTING_BLOCKS:
+ /* Currently no API exercises this behavior. */
break;
}
}