rt_Task.h

00001 /**
00002  * @file    rt_Task.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 /* Definitions */
00023 
00024 /* Values for 'state'   */
00025 #define INACTIVE        0
00026 #define READY           1
00027 #define RUNNING         2
00028 #define WAIT_DLY        3
00029 #define WAIT_ITV        4
00030 #define WAIT_OR         5
00031 #define WAIT_AND        6
00032 #define WAIT_SEM        7
00033 #define WAIT_MBX        8
00034 #define WAIT_MUT        9
00035 
00036 /* Return codes */
00037 #define OS_R_TMO        0x01
00038 #define OS_R_EVT        0x02
00039 #define OS_R_SEM        0x03
00040 #define OS_R_MBX        0x04
00041 #define OS_R_MUT        0x05
00042 
00043 #define OS_R_OK         0x00
00044 #define OS_R_NOK        0xff
00045 
00046 /* Variables */
00047 extern struct OS_TSK os_tsk;
00048 extern struct OS_TCB os_idle_TCB;
00049 
00050 /* Functions */
00051 extern void      rt_switch_req (P_TCB p_new);
00052 extern void      rt_dispatch   (P_TCB next_TCB);
00053 extern void      rt_block      (U16 timeout, U8 block_state);
00054 extern void      rt_tsk_pass   (void);
00055 extern OS_TID    rt_tsk_self   (void);
00056 extern OS_RESULT rt_tsk_prio   (OS_TID task_id, U8 new_prio);
00057 extern OS_TID    rt_tsk_create (FUNCP task, U32 prio_stksz, void *stk, void *argv);
00058 extern OS_RESULT rt_tsk_delete (OS_TID task_id);
00059 extern void      rt_sys_init   (FUNCP first_task, U32 prio_stksz, void *stk);
00060 
00061 /*----------------------------------------------------------------------------
00062  * end of file
00063  *---------------------------------------------------------------------------*/
00064 
00065 
00066 
00067 
00068 
00069