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 25