/PcAtChipsetPkg/HpetTimerDxe/

• ../
• HpetTimer.c
• HpetTimerDxe.inf