audk/PcAtChipsetPkg/8254TimerDxe
..
8254Timer.inf
Timer.c
Timer.h