/* Configure pins as Analog Input Output EVENT_OUT EXTI  */
__attribute__((isr))
/* Configure pins as Analog Input Output EVENT_OUT EXTI  */
__attribute__((isr))
{
    readl(0xE000E010);
	HAL_IncTick();
	xPortSysTickHandler();
	portYIELD_FROM_ISR(1);
}