#ifndef RVL_SDK_OS_SYNC_H
#define RVL_SDK_OS_SYNC_H
#include <common.h>
#ifdef __cplusplus
extern "C" {
#endif

void __OSInitSystemCall(void);

#ifdef __cplusplus
}
#endif
#endif