+/*-----------------------------------------------------------*/\r
+\r
+void vInitialiseTimerForRunTimeStats( void )\r
+{\r
+XScuWdt_Config *pxWatchDogInstance;\r
+uint32_t ulValue;\r
+const uint32_t ulMaxDivisor = 0xff, ulDivisorShift = 0x08;\r
+\r
+ pxWatchDogInstance = XScuWdt_LookupConfig( XPAR_SCUWDT_0_DEVICE_ID );\r
+ XScuWdt_CfgInitialize( &xWatchDogInstance, pxWatchDogInstance, pxWatchDogInstance->BaseAddr );\r
+\r
+ ulValue = XScuWdt_GetControlReg( &xWatchDogInstance );\r
+ ulValue |= ulMaxDivisor << ulDivisorShift;\r
+ XScuWdt_SetControlReg( &xWatchDogInstance, ulValue );\r
+\r
+ XScuWdt_LoadWdt( &xWatchDogInstance, UINT_MAX );\r
+ XScuWdt_SetTimerMode( &xWatchDogInstance );\r
+ XScuWdt_Start( &xWatchDogInstance );\r
+}\r
+\r