audk/ArmPlatformPkg/Drivers/SP804TimerDxe
..
SP804Timer.c
SP804TimerDxe.inf