unsigned int sleep (unsigned int seconds)
{
__coverity_sleep__();
return 0;
}
ssize_t recv (int s, void *buf, size_t len, int flags)
{
__coverity_sleep__();
return 0;
}
static inline void cpu_relax(void) {
__coverity_sleep__();
}
