8cc852f791
git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@13059 6f19259b-4bc3-4df7-8a09-765794883524
25 lines
719 B
C
25 lines
719 B
C
/** @file
|
|
* Main file supporting the Monitor World on ARM PLatforms
|
|
*
|
|
* Copyright (c) 2011, ARM Limited. All rights reserved.
|
|
*
|
|
* This program and the accompanying materials
|
|
* are licensed and made available under the terms and conditions of the BSD License
|
|
* which accompanies this distribution. The full text of the license may be found at
|
|
* http://opensource.org/licenses/bsd-license.php
|
|
*
|
|
* THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
|
|
* WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
|
|
*
|
|
**/
|
|
|
|
#ifndef __ARM_TRUSTED_MONITOR_LIB_H_
|
|
#define __ARM_TRUSTED_MONITOR_LIB_H_
|
|
|
|
VOID
|
|
ArmSecureMonitorWorldInitialize (
|
|
VOID
|
|
);
|
|
|
|
#endif
|