/* Task utilities. */\r
void vPortYield( void );\r
#define portYIELD() asm volatile ( "SC \n\t NOP" )\r
-#define portYIELD_FROM_ISR()\r
+#define portYIELD_FROM_ISR() vTaskSwitchContext()\r
/*-----------------------------------------------------------*/\r
\r
/* Hardware specifics. */\r
#define portTASK_FUNCTION_PROTO( vFunction, pvParameters ) void vFunction( void *pvParameters )\r
#define portTASK_FUNCTION( vFunction, pvParameters ) void vFunction( void *pvParameters )\r
\r
+/* Port specific initialisation function. */\r
+void vPortSetupInterruptController( void );\r
+portBASE_TYPE xPortInstallInterruptHandler( unsigned portCHAR ucInterruptID, XInterruptHandler pxHandler, void *pvCallBackRef );\r
+\r
#ifdef __cplusplus\r
}\r
#endif\r