__attribute__((always_inline)) static inline void _os_resume(uint32_t pFunc, uint32_t sleep_time) { (void) pFunc; register int __r0 __asm("r0") = sleep_time; register int __r1 __asm("r1"); register int __r2 __asm("r2"); register int __r3 __asm("r3"); SVC_Call(rt_resume); }
__attribute__((always_inline)) static inline uint32_t _os_suspend(uint32_t pFunc) { (void) pFunc; register int __r0 __asm("r0"); register int __r1 __asm("r1"); register int __r2 __asm("r2"); register int __r3 __asm("r3"); SVC_Call(rt_suspend); return (uint32_t) __r0; }
static inline void svc_os_arch_start(void) { SVC_Arg0(); SVC_Call(os_arch_start); }