![](/media/cache/img/default_profile.jpg.50x50_q85.jpg)
Rtos API example
Embed:
(wiki syntax)
Show/hide line numbers
disabled.h
00001 /* 00002 * Copyright (c) 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_DISABLED_H__ 00018 #define __UVISOR_API_DISABLED_H__ 00019 00020 #include "api/inc/uvisor_exports.h" 00021 #include <stdint.h> 00022 00023 UVISOR_EXTERN void uvisor_disabled_switch_in(const uint32_t *dst_box_cfgtbl_ptr); 00024 UVISOR_EXTERN void uvisor_disabled_switch_out(void); 00025 00026 /* The host OS can override the implementations of these functions in case a 00027 * different handling of IRQs is required when uVisor is disabled. */ 00028 UVISOR_EXTERN void uvisor_disabled_set_vector(uint32_t irqn, uint32_t vector); 00029 UVISOR_EXTERN uint32_t uvisor_disabled_get_vector(uint32_t irqn); 00030 00031 #endif /* __UVISOR_API_DISABLED_H__ */
Generated on Sun Jul 17 2022 08:25:21 by
![doxygen](doxygen.png)