/* In this case configCPU_CLOCK_HZ is actually set to the pclk frequency, not\r
the CPU frequency. */\r
#define configCPU_CLOCK_HZ ( 58982400UL ) /* =14.7456MHz xtal multiplied by 4 using the PLL. */\r
-#define configTICK_RATE_HZ ( ( portTickType ) 1000 )\r
+#define configTICK_RATE_HZ ( ( TickType_t ) 1000 )\r
#define configMAX_PRIORITIES ( 6 )\r
#define configMINIMAL_STACK_SIZE ( ( unsigned short ) 128 )\r
#define configTOTAL_HEAP_SIZE ( ( size_t ) ( 18 * 1024 ) )\r