+/*\r
+ * For internal use only. Increment the mutex held count when a mutex is\r
+ * taken and decrement the mutex held count when the mutex is given back\r
+ * respectively. The mutex held count is used to know when it is safe to\r
+ * disinherit a priority.\r
+ */\r
+void vTaskIncrementMutexHeldCount( void );\r
+void vTaskDecrementMutexHeldCount( void );\r
+\r