* Set the priority of a task back to its proper priority in the case that it\r
* inherited a higher priority while it was holding a semaphore.\r
*/\r
-void vTaskPriorityDisinherit( TaskHandle_t const pxMutexHolder ) PRIVILEGED_FUNCTION;\r
+BaseType_t xTaskPriorityDisinherit( TaskHandle_t const pxMutexHolder ) PRIVILEGED_FUNCTION;\r
\r
/*\r
* Generic version of the task creation function which is in turn called by the\r
*/\r
eSleepModeStatus eTaskConfirmSleepModeStatus( void ) PRIVILEGED_FUNCTION;\r
\r
+/*\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
#ifdef __cplusplus\r
}\r
#endif\r