dpl_mutex.h

Go to the documentation of this file.

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

 
#include "os/os_mutex.h"
 
#ifdef __cplusplus
extern "C" {
#endif

struct dpl_mutex {
    struct os_mutex mu;     
};

static inline dpl_error_t dpl_mutex_init(struct dpl_mutex *mu)
{
    return (dpl_error_t) os_mutex_init(&mu->mu);
}

static inline dpl_error_t dpl_mutex_pend(struct dpl_mutex *mu, dpl_time_t timeout)
{
    return (dpl_error_t) os_mutex_pend(&mu->mu, timeout);
}

static inline dpl_error_t dpl_mutex_release(struct dpl_mutex *mu)
{
    return (dpl_error_t) os_mutex_release(&mu->mu);
}
 
#ifdef __cplusplus
}
#endif