uvisor-lib.h

00001 /*
00002  * Copyright (c) 2013-2016, ARM Limited, All Rights Reserved
00003  * SPDX-License-Identifier: Apache-2.0
00004  *
00005  * Licensed under the Apache License, Version 2.0 (the "License"); you may
00006  * not use this file except in compliance with the License.
00007  * You may obtain a copy of the License at
00008  *
00009  * http://www.apache.org/licenses/LICENSE-2.0
00010  *
00011  * Unless required by applicable law or agreed to in writing, software
00012  * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
00013  * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
00014  * See the License for the specific language governing permissions and
00015  * limitations under the License.
00016  */
00017 #ifndef __UVISOR_API_UVISOR_LIB_H__
00018 #define __UVISOR_API_UVISOR_LIB_H__
00019 
00020 /* This file includes all the uVisor library header files at once.
00021  * If uVisor is used on a host OS that includes unsupported targets, then
00022  * unsupported.h is included, which defines a fallback version of those APIs,
00023  * with no security feature. */
00024 
00025 #if defined(UVISOR_PRESENT) && UVISOR_PRESENT == 1
00026 
00027 /* Library header files */
00028 #include "api/inc/benchmark.h"
00029 #include "api/inc/box_config.h"
00030 #include "api/inc/box_id.h"
00031 #include "api/inc/debug.h"
00032 #include "api/inc/disabled.h"
00033 #include "api/inc/error.h"
00034 #include "api/inc/interrupts.h"
00035 #include "api/inc/register_gateway.h"
00036 #include "api/inc/rpc.h"
00037 #include "api/inc/rpc_gateway.h"
00038 #include "api/inc/secure_access.h"
00039 #include "api/inc/uvisor_semaphore.h"
00040 
00041 #else /* defined(UVISOR_PRESENT) && UVISOR_PRESENT == 1 */
00042 
00043 #include "api/inc/unsupported.h"
00044 
00045 #endif /* defined(UVISOR_PRESENT) && UVISOR_PRESENT == 1 */
00046 
00047 /* The host startup needs to call this after osKernelInitialize to initialize
00048  * uvisor-lib. The function can fail. It's up the the host startup to decide
00049  * what to do with any failures. */
00050 UVISOR_EXTERN int uvisor_lib_init(void);
00051 
00052 #include "api/inc/page_allocator.h"
00053 
00054 /* Include all exported header files used by uVisor internally.
00055  * These are included independently on whether uVisor is supported or not by the
00056  * target platform. */
00057 #include "api/inc/debug_exports.h"
00058 #include "api/inc/context_exports.h"
00059 #include "api/inc/export_table_exports.h"
00060 #include "api/inc/halt_exports.h"
00061 #include "api/inc/register_gateway_exports.h"
00062 #include "api/inc/rpc_gateway_exports.h"
00063 #include "api/inc/svc_exports.h"
00064 #include "api/inc/priv_sys_hook_exports.h"
00065 #include "api/inc/unvic_exports.h"
00066 #include "api/inc/uvisor_exports.h"
00067 #include "api/inc/vmpu_exports.h"
00068 #include "api/inc/page_allocator_exports.h"
00069 #include "api/inc/pool_queue_exports.h"
00070 
00071 #endif /* __UVISOR_API_UVISOR_LIB_H__ */