ArmPlatformPkg/Include/Library/ArmTrustedMonitorLib.h

   1 /** @file
   2 *  Main file supporting the Monitor World on ARM PLatforms
   3 *
   4 *  Copyright (c) 2011, ARM Limited. All rights reserved.
   5 *
   6 *  This program and the accompanying materials
   7 *  are licensed and made available under the terms and conditions of the BSD License
   8 *  which accompanies this distribution.  The full text of the license may be found at
   9 *  http://opensource.org/licenses/bsd-license.php
  10 *
  11 *  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  12 *  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  13 *
  14 **/
  15
  16 #ifndef __ARM_TRUSTED_MONITOR_LIB_H_
  17 #define __ARM_TRUSTED_MONITOR_LIB_H_
  18
  19 VOID
  20 ArmSecureMonitorWorldInitialize (
  21   VOID
  22   );
  23
  24 #endif