/src/VBox/Devices/EFI/Firmware/PcAtChipsetPkg/HpetTimerDxe/

• ../
• HpetTimer.c
• HpetTimerDxe.inf
• HpetTimerDxe.uni
• HpetTimerDxeExtra.uni