TimerDxe « Nt32Pkg - edk2-platforms.git - (https://github.com/tianocore/edk2-platforms)

Mode	Name	Size
-rw-r--r--	Timer.c	17168	log plain
-rw-r--r--	Timer.h	3306	log plain
-rw-r--r--	TimerDxe.inf	1759	log plain