/src/VBox/Devices/EFI/Firmware/UefiCpuPkg/Library/SecPeiDxeTimerLibUefiCpu/

• ../
• IpfTimerLib.c
• SecPeiDxeTimerLibUefiCpu.inf
• X86TimerLib.c