/* Decrement the critical nesting count, and if it has reached zero, re-enable interrupts.  */
void vPortExitCritical(void)
/* Decrement the critical nesting count, and if it has reached zero, re-enable interrupts.  */
void vPortExitCritical(void)
{
	if( ulCriticalNesting > 0 )
	{
		ulCriticalNesting--;
		if( ulCriticalNesting == 0 )
		{
			portENABLE_INTERRUPTS();
		}
	}
}