static void prvSetupTimerInterrupt()

in GCC/AVR_AVRDx/port.c [200:207]


static void prvSetupTimerInterrupt( void )
{
    /* Configure low-power timer  used in tickless mode */
#if (configUSE_TICKLESS_IDLE == 1)
    RTC_INIT();
#endif
    TICK_init();
}