dpl_sem.h

Go to the documentation of this file.

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

 
#include <stdint.h>
 
#include "dpl_types.h"
#include "dpl_error.h"
#include "os/os_sem.h"
 
#ifdef __cplusplus
extern "C" {
#endif

struct dpl_sem {
    struct os_sem sem;      
};

static inline dpl_error_t dpl_sem_init(struct dpl_sem *sem, uint16_t tokens)
{
    return (dpl_error_t) os_sem_init(&sem->sem, tokens);
}

static inline dpl_error_t dpl_sem_pend(struct dpl_sem *sem, dpl_time_t timeout)
{
    return (dpl_error_t) os_sem_pend(&sem->sem, timeout);
}

static inline dpl_error_t dpl_sem_release(struct dpl_sem *sem)
{
    return (dpl_error_t) os_sem_release(&sem->sem);
}

static inline int16_t dpl_sem_get_count(struct dpl_sem *sem)
{
    return os_sem_get_count(&sem->sem);
}
 
#ifdef __cplusplus
}
#endif