#include <Library/DebugLib.h>\r
#include <Library/BdsLib.h>\r
#include <Library/PcdLib.h>\r
-#include <Library/PerformanceLib.h>\r
#include <Library/PrintLib.h>\r
#include <Library/UefiRuntimeServicesTableLib.h>\r
\r
-#include <Guid/ArmMpCoreInfo.h>\r
#include <Guid/GlobalVariable.h>\r
#include <Guid/FileInfo.h>\r
\r
UINT64 LastReportedNbOfBytes;\r
} BDS_TFTP_CONTEXT;\r
\r
-// BdsHelper.c\r
-EFI_STATUS\r
-ShutdownUefiBootServices (\r
- VOID\r
- );\r
-\r
-EFI_STATUS\r
-GetSystemMemoryResources (\r
- LIST_ENTRY *ResourceList\r
- );\r
-\r
-VOID\r
-PrintPerformance (\r
- VOID\r
- );\r
-\r
EFI_STATUS\r
BdsLoadImage (\r
IN EFI_DEVICE_PATH *DevicePath,\r