/roms/edk2/PcAtChipsetPkg/HpetTimerDxe/

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