/src/VBox/Devices/EFI/Firmware/PcAtChipsetPkg/Library/

• ../
• AcpiTimerLib
• BaseIoApicLib
• ResetSystemLib
• SerialIoLib