/* The tick ISR handler. The peripheral used is configured by the application via a hook/callback function.  */
__interrupt void vTickISR(void)
/* The tick ISR handler. The peripheral used is configured by the application via a hook/callback function.  */
__interrupt void vTickISR(void)
{
	__enable_interrupt();
	__set_interrupt_level( configMAX_SYSCALL_INTERRUPT_PRIORITY );
	{
		if( xTaskIncrementTick() != pdFALSE )
		{
			taskYIELD();
		}
	}
	__set_interrupt_level( configKERNEL_INTERRUPT_PRIORITY );
}