dpl_mutex.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.
 */
 
#ifndef DPL_DPL_MUTEX_H
#define DPL_DPL_MUTEX_H
 
#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
 
#endif /* DPL_DPL_MUTEX_H */