/*-----------------------------------------------------------*/\r
 \r
 #pragma vector=configTICK_INTERRUPT_VECTOR\r
-__interrupt void vISR( void )\r
+__interrupt void vTickISREntry( void )\r
 {\r
-extern void vTickISR( void );\r
+extern void vPortTickISR( void );\r
 \r
-       vTickISR();\r
+       vPortTickISR();\r
 }\r
 \r
        \r
 
        IMPORT vTaskSwitchContext\r
        IMPORT vPortSetupTimerInterrupt\r
 \r
-       EXPORT vTickISR\r
+       EXPORT vPortTickISR\r
        EXPORT vPortYield\r
        EXPORT xPortStartScheduler\r
 \r
        \r
        RSEG ISR_CODE\r
        \r
-vTickISR:\r
+vPortTickISR:\r
        \r
        /* The sr is not saved in portSAVE_CONTEXT() because vPortYield() needs\r
        to save it manually before it gets modified (interrupts get disabled). */\r