28 #include <ubinos_config.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)
void bsp_busywaitms(unsigned int timems)
void bsp_disableintr(void)
int bsp_getcpuidsize(void)
int bsp_getcpuid(unsigned char *buf, int max)