/*\r
- FreeRTOS.org V4.8.0 - Copyright (C) 2003-2008 Richard Barry.\r
+ FreeRTOS.org V5.1.1 - Copyright (C) 2003-2008 Richard Barry.\r
\r
This file is part of the FreeRTOS.org distribution.\r
\r
\r
void vGPIO_ISR( void )\r
{\r
+portBASE_TYPE xHigherPriorityTaskWoken = pdFALSE;\r
+\r
/* Clear the interrupt. */\r
GPIOPinIntClear(GPIO_PORTC_BASE, mainPUSH_BUTTON);\r
\r
/* Wake the button handler task. */\r
- if( xSemaphoreGiveFromISR( xButtonSemaphore, pdFALSE ) )\r
- {\r
- portEND_SWITCHING_ISR( pdTRUE );\r
- }\r
+ xSemaphoreGiveFromISR( xButtonSemaphore, &xHigherPriorityTaskWoken );\r
+\r
+ portEND_SWITCHING_ISR( xHigherPriorityTaskWoken );\r
}\r
/*-----------------------------------------------------------*/\r
\r