Где эта функция определена?

Это код для примера таймера в esp8266..(получен с веб-сайта)

Я сомневаюсь, где определена функция timer1_enable(TIM_DIV16, TIM_EDGE, TIM_SINGLE)?? Я смотрю в Ticker.cpp, но не нашел.

#include < ESP8266WiFi.h>
#include < Ticker.h >

Ticker blinker;

#define LED 2  //Бортовой светодиод

//=======================================================================
void ICACHE_RAM_ATTR onTimerISR(){
    digitalWrite(LED,!(digitalRead(LED)));  //Toggle LED Pin
    timer1_write(600000);//12us
}

void setup()
{
    Serial.begin(115200);
    Serial.println("");

    pinMode(LED,OUTPUT);

    //Инициализировать Тикер каждые 0,5 с
    timer1_attachInterrupt(onTimerISR);
    timer1_enable(TIM_DIV16, TIM_EDGE, TIM_SINGLE);
    timer1_write(600000); //120000 us
}

void loop()
{
}