audk/ArmPkg/Drivers/TimerDxe
..
TimerDxe.c
TimerDxe.inf