audk/Omap35xxPkg/TimerDxe
..
Timer.c
TimerDxe.inf