/OvmfPkg/8254TimerDxe/

• ../
• 8254Timer.inf
• Timer.c
• Timer.h
• Timer.uni
• TimerExtra.uni