@@ -1047,10 +1047,10 @@ void VirtualTimer_IRQHandler(void)
10471047 /* the corrected value in a readable variable. */
10481048 /***************************************************************************/
10491049#ifdef DEBUG_TIMER2
1050- RELOAD_VAL2 = TimerPeriod + VL1_GetCurrentTimerValue ();
1051- VL1_SetCurrentTimerValue (RELOAD_VAL2 );
1050+ // RELOAD_VAL2 = TimerPeriod + VL1_GetCurrentTimerValue();
1051+ // VL1_SetCurrentTimerValue(RELOAD_VAL2);
10521052#else
1053- VL1_SetCurrentTimerValue (TimerPeriod + VL1_GetCurrentTimerValue ());
1053+ // VL1_SetCurrentTimerValue(TimerPeriod + VL1_GetCurrentTimerValue());
10541054#endif
10551055 /* Increment Tick value and call user CB */
10561056 HAL_IncTick ();
@@ -1341,13 +1341,13 @@ uint32_t SystemA35_SYSTICK_Config( uint32_t timer_priority )
13411341
13421342 /* Stop Timers */
13431343 PL1_SetControl (0x0 );
1344- VL1_SetControl (0x0 );
1344+ // VL1_SetControl(0x0);
13451345
13461346 /* Reset Timers */
13471347 PL1_SetLoadValue (0 );
13481348 PL1_SetPhysicalCompareValue (0 );
1349- VL1_SetCurrentTimerValue (0 );
1350- VL1_SetTimerCompareValue (0 );
1349+ // VL1_SetCurrentTimerValue(0);
1350+ // VL1_SetTimerCompareValue(0);
13511351
13521352#ifdef DEBUG_PPI2x
13531353 FIQ_count = 0 ;
@@ -1407,8 +1407,8 @@ uint32_t SystemA35_SYSTICK_Config( uint32_t timer_priority )
14071407 }
14081408 else
14091409 {
1410- VL1_SetCurrentTimerValue (TimerPeriod );
1411- VL1_SetControl (0x1 );
1410+ // VL1_SetCurrentTimerValue(TimerPeriod);
1411+ // VL1_SetControl(0x1);
14121412 }
14131413 return 0 ;
14141414}
@@ -1457,7 +1457,7 @@ uint32_t SystemA35_ManageTick( uint32_t suspend_resume_stop_tick )
14571457 case A35_STOP_SYSTICK :
14581458 /* Stop Timers */
14591459 PL1_SetControl (0x0 );
1460- VL1_SetControl (0x0 );
1460+ // VL1_SetControl(0x0);
14611461 case A35_SUSPEND_SYSTICK :
14621462 /* Disable corresponding interrupt and clear it if pending */
14631463 IRQ_Disable (sourcetimer_irq );
0 commit comments