ArmPlatformPkg/Sec: Clean and Move all declaration into 'SecInternal.h' (2)

Missed header file.

git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@12419 6f19259b-4bc3-4df7-8a09-765794883524

diff --git a/ArmPlatformPkg/Sec/SecInternal.h b/ArmPlatformPkg/Sec/SecInternal.h
new file mode 100644 (file)
index 0000000..a4685c1
--- /dev/null
+++ b/ArmPlatformPkg/Sec/SecInternal.h
@@ -0,0 +1,65 @@
+/** @file\r
+*  Main file supporting the SEC Phase on ARM PLatforms\r
+*\r
+*  Copyright (c) 2011, 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
+*  which accompanies this distribution.  The full text of the license may be found at\r
+*  http://opensource.org/licenses/bsd-license.php\r
+*\r
+*  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
+*  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+*\r
+**/\r
+\r
+#ifndef __SEC_H__\r
+#define __SEC_H__\r
+\r
+#include <Base.h>\r
+#include <Library/BaseLib.h>\r
+#include <Library/DebugLib.h>\r
+\r
+#include <Chipset/ArmV7.h>\r
+\r
+#define IS_ALIGNED(Address, Align) (((UINTN)Address & (Align-1)) == 0)\r
+\r
+VOID\r
+ArmSetupGicNonSecure (\r
+  IN  INTN          GicDistributorBase,\r
+  IN  INTN          GicInterruptInterfaceBase\r
+);\r
+\r
+// Vector Table for Sec Phase\r
+VOID\r
+SecVectorTable (\r
+  VOID\r
+  );\r
+\r
+VOID\r
+NonSecureWaitForFirmware (\r
+  VOID\r
+  );\r
+\r
+VOID\r
+enter_monitor_mode (\r
+  IN VOID* Stack\r
+  );\r
+\r
+VOID\r
+return_from_exception (\r
+  IN UINTN NonSecureBase\r
+  );\r
+\r
+VOID\r
+copy_cpsr_into_spsr (\r
+  VOID\r
+  );\r
+\r
+VOID\r
+SecCommonExceptionEntry (\r
+  IN UINT32 Entry,\r
+  IN UINT32 LR\r
+  );\r
+\r
+#endif\r