RTX_Config.h

00001 /**
00002  * @file    RTX_Config.h
00003  * @brief   
00004  *
00005  * DAPLink Interface Firmware
00006  * Copyright (c) 2009-2016, ARM Limited, All Rights Reserved
00007  * SPDX-License-Identifier: Apache-2.0
00008  *
00009  * Licensed under the Apache License, Version 2.0 (the "License"); you may
00010  * not use this file except in compliance with the License.
00011  * You may obtain a copy of the License at
00012  *
00013  * http://www.apache.org/licenses/LICENSE-2.0
00014  *
00015  * Unless required by applicable law or agreed to in writing, software
00016  * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
00017  * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
00018  * See the License for the specific language governing permissions and
00019  * limitations under the License.
00020  */
00021 
00022 /* Error Codes */
00023 #define OS_ERR_STK_OVF          1
00024 #define OS_ERR_FIFO_OVF         2
00025 #define OS_ERR_MBX_OVF          3
00026 
00027 /* Definitions */
00028 #define BOX_ALIGN_8                   0x80000000
00029 #define _declare_box(pool,size,cnt)   U32 pool[(((size)+3)/4)*(cnt) + 3]
00030 #define _declare_box8(pool,size,cnt)  U64 pool[(((size)+7)/8)*(cnt) + 2]
00031 #define _init_box8(pool,size,bsize)   _init_box (pool,size,(bsize) | BOX_ALIGN_8)
00032 
00033 /* Variables */
00034 extern U32 mp_tcb[];
00035 extern U64 mp_stk[];
00036 extern U32 os_fifo[];
00037 extern void *os_active_TCB[];
00038 
00039 /* Constants */
00040 extern U16 const os_maxtaskrun;
00041 extern U32 const os_trv;
00042 extern U8  const os_flags;
00043 extern U32 const os_stackinfo;
00044 extern U32 const os_rrobin;
00045 extern U32 const os_clockrate;
00046 extern U32 const os_timernum;
00047 extern U16 const mp_tcb_size;
00048 extern U32 const mp_stk_size;
00049 extern U32 const *m_tmr;
00050 extern U16 const mp_tmr_size;
00051 extern U8  const os_fifo_size;
00052 
00053 /* Functions */
00054 extern void os_idle_demon   (void);
00055 extern int  os_tick_init    (void);
00056 extern void os_tick_irqack  (void);
00057 extern void os_tmr_call     (U16  info);
00058 extern void os_error        (U32 err_code);
00059 
00060 /*----------------------------------------------------------------------------
00061  * end of file
00062  *---------------------------------------------------------------------------*/