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