/** @file\r
* Main file supporting the SEC Phase on ARM PLatforms\r
*\r
-* Copyright (c) 2011-2012, ARM Limited. All rights reserved.\r
+* Copyright (c) 2011-2013, ARM Limited. All rights reserved.\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 <Base.h>\r
#include <Library/ArmLib.h>\r
#include <Library/ArmCpuLib.h>\r
+#include <Library/ArmPlatformLib.h>\r
#include <Library/ArmPlatformSecLib.h>\r
#include <Library/BaseLib.h>\r
#include <Library/DebugLib.h>\r
VOID\r
SecCommonExceptionEntry (\r
IN UINT32 Entry,\r
- IN UINT32 LR\r
+ IN UINTN LR\r
);\r
\r
#endif\r