os_types.h

Go to the documentation of this file.

/*
 * SPDX-FileCopyrightText: 2020 Inria
 * SPDX-License-Identifier: LGPL-2.1-only
 */
 
#pragma once

 
#include <stdint.h>
 
#ifdef __cplusplus
extern "C" {
#endif

#define SYS_EINVAL      (-2)
#define SYS_ENOMEM      (-1)

#define OS_TIMEOUT_NEVER   (UINT32_MAX)
#define OS_WAIT_FOREVER    (OS_TIMEOUT_NEVER)

typedef uint32_t os_time_t;

typedef char os_stack_t;
 
#ifdef __cplusplus
}
#endif