os_types.h

Go to the documentation of this file.

/*
 * Copyright (C) 2020 Inria
 *
 * This file is subject to the terms and conditions of the GNU Lesser
 * General Public License v2.1. See the file LICENSE in the top level
 * directory for more details.
 */
 
#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