+++ /dev/null
-/** @file\r
-* Main file supporting the SEC Phase on ARM PLatforms\r
-*\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
-* 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/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
-#include <Library/PcdLib.h>\r
-\r
-#define IS_ALIGNED(Address, Align) (((UINTN)Address & (Align-1)) == 0)\r
-\r
-VOID\r
-TrustedWorldInitialization (\r
- IN UINTN MpId,\r
- IN UINTN SecBootMode\r
- );\r
-\r
-VOID\r
-NonTrustedWorldTransition (\r
- IN UINTN MpId,\r
- IN UINTN JumpAddress\r
- );\r
-\r
-VOID\r
-ArmSetupGicNonSecure (\r
- IN INTN GicDistributorBase,\r
- IN INTN GicInterruptInterfaceBase\r
-);\r
-\r
-VOID\r
-enter_monitor_mode (\r
- IN UINTN MonitorEntryPoint,\r
- IN UINTN MpId,\r
- IN UINTN SecBootMode,\r
- IN VOID* MonitorStackBase\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
-set_non_secure_mode (\r
- IN ARM_PROCESSOR_MODE Mode\r
- );\r
-\r
-VOID\r
-SecCommonExceptionEntry (\r
- IN UINT32 Entry,\r
- IN UINTN LR\r
- );\r
-\r
-VOID\r
-EFIAPI\r
-ArmSecArchTrustzoneInit (\r
- VOID\r
- );\r
-\r
-#endif\r