This driver is dispatched by Dxe core and the driver will reload itself to ACPI reserved memory \r
in the entry point. The functionality is to interpret and restore the S3 boot script \r
\r
-Copyright (c) 2006 - 2013, Intel Corporation. All rights reserved.<BR>\r
+Copyright (c) 2006 - 2014, Intel Corporation. All rights reserved.<BR>\r
\r
This program and the accompanying materials\r
are licensed and made available under the terms and conditions of the BSD License\r
#include <Library/DebugAgentLib.h>\r
#include <Library/LockBoxLib.h>\r
#include <Library/CpuExceptionHandlerLib.h>\r
+#include <Library/DevicePathLib.h>\r
\r
#include <Guid/AcpiS3Context.h>\r
#include <Guid/BootScriptExecutorVariable.h>\r
+#include <Guid/MemoryProfile.h>\r
+\r
#include <Protocol/DxeSmmReadyToLock.h>\r
#include <IndustryStandard/Acpi.h>\r
/**\r