/* The C portion of the interrupt handler. Interrupts are triggered by pushing the button on the target board. This interrupt can cause a context switch so has an assembly file wrapper defined within ButtonISR.s26.  */
void vButtonISRHandler(void)
/* The C portion of the interrupt handler. Interrupts are triggered by pushing the button on the target board. This interrupt can cause a context switch so has an assembly file wrapper defined within ButtonISR.s26.  */
void vButtonISRHandler(void)
{
short sHigherPriorityTaskWoken = pdFALSE;
	xSemaphoreGiveFromISR( xButtonSemaphore, &sHigherPriorityTaskWoken );
	portYIELD_FROM_ISR( sHigherPriorityTaskWoken );
}