audk/Nt32Pkg/TimerDxe
..
Timer.c
Timer.h
TimerDxe.inf