ubinos
bsp.h
Go to the documentation of this file.
1 /*
2  * Copyright (c) 2009 Sung Ho Park
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #ifndef UBINOS_BSP_H_
8 #define UBINOS_BSP_H_
9 
10 #ifdef __cplusplus
11 extern "C"
12 {
13 #endif
14 
28 #include <ubinos_config.h>
29 #include <ubinos/type.h>
30 
47 int appmain(int argc, char * argv[]);
48 
55 int bsp_isintr(void);
56 
68 int bsp_getcpuclockfreq(unsigned int * freq_p);
69 
81 int bsp_getcpuclockfreqk(unsigned int * freqk_p);
82 
94 int bsp_getmckfreq(unsigned int * freq_p);
95 
107 int bsp_getmckfreqk(unsigned int * freqk_p);
108 
123 int bsp_getcpuid(unsigned char * buf, int max);
124 
133 
139 void bsp_enableintr(void);
140 
144 void bsp_disableintr(void);
145 
149 void bsp_abortsystem(void);
150 
154 void bsp_resetsystem(void);
155 
172 int bsp_getstacksize(int type, unsigned int * stacksize_p);
173 
190 int bsp_getmaxstackusage(int type, unsigned int * maxstackusage_p);
191 
198 void bsp_busywait(unsigned int count);
199 
206 void bsp_busywaitms(unsigned int timems);
207 
213 unsigned int bsp_getbusywaitcountperms(void);
214 
223 unsigned int bsp_timemstobwc(unsigned int timems);
224 
233 unsigned int bsp_bwctotimems(unsigned int count);
234 
241 void bsp_busywaitus(unsigned int timeus);
242 
243 #include <ubinos/bsp/dtty.h>
244 #include <ubinos/bsp/intr.h>
245 
246 #ifdef __cplusplus
247 }
248 #endif
249 
250 #endif /* UBINOS_BSP_H_ */
int bsp_getstacksize(int type, unsigned int *stacksize_p)
unsigned int bsp_timemstobwc(unsigned int timems)
void bsp_busywait(unsigned int count)
int appmain(int argc, char *argv[])
void bsp_resetsystem(void)
unsigned int bsp_getbusywaitcountperms(void)
void bsp_enableintr(void)
void bsp_busywaitus(unsigned int timeus)
int bsp_getcpuclockfreq(unsigned int *freq_p)
int bsp_getmckfreqk(unsigned int *freqk_p)
int bsp_getmckfreq(unsigned int *freq_p)
int bsp_getcpuclockfreqk(unsigned int *freqk_p)
void bsp_abortsystem(void)
unsigned int bsp_bwctotimems(unsigned int count)
int bsp_getmaxstackusage(int type, unsigned int *maxstackusage_p)
int bsp_isintr(void)
void bsp_busywaitms(unsigned int timems)
void bsp_disableintr(void)
int bsp_getcpuidsize(void)
int bsp_getcpuid(unsigned char *buf, int max)
BSP debug terminal API.
BSP interrupt API.
ubinos basic data type