/*-----------------------------------------------------------*/\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