rt_System.h

00001 /**
00002  * @file    rt_System.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 /* Variables */
00023 #define os_psq  ((P_PSQ)&os_fifo)
00024 extern int os_tick_irqn;
00025 
00026 /* Functions */
00027 extern U32  rt_suspend    (void);
00028 extern void rt_resume     (U32 sleep_time);
00029 extern void rt_tsk_lock   (void);
00030 extern void rt_tsk_unlock (void);
00031 extern void rt_psh_req    (void);
00032 extern void rt_pop_req    (void);
00033 extern void rt_systick    (void);
00034 extern void rt_stk_check  (void);
00035 
00036 /*----------------------------------------------------------------------------
00037  * end of file
00038  *---------------------------------------------------------------------------*/
00039