/src/VBox/Devices/EFI/Firmware/PerformancePkg/Include/Guid/
../
PerformancePkgTokenSpace.h
TscFrequency.h