/src/VBox/Devices/EFI/Firmware/PcAtChipsetPkg/8254TimerDxe/

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