Arduino の micros() , millis() のコード本体はどこにあるのでしょうか？

こんにちは。

Arduino初心者です。

Arduino.h には micros() , millis() の定義は書かれているのですが
コード本体が記述されているファイルを見つけることができません。
どのファイルに記述されているかご存知の方、ご教授願えませんでしょうか。
よろしくお願いいたします。

[環境]
Windows 10 pro 64bit
Arduino IDE 1.8.2
zipファイルを c:\Arduino に展開しています。