dpl_os.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_OS_H
#define DPL_DPL_OS_H
 
#include "os/os.h"
 
#ifdef __cplusplus
extern "C" {
#endif
 
#define DPL_ENTER_CRITICAL(_sr) (_sr = os_hw_enter_critical())
#define DPL_EXIT_CRITICAL(_sr) (os_hw_exit_critical(_sr))
#define DPL_ASSERT_CRITICAL() assert(os_hw_is_in_critical())
typedef os_sr_t dpl_sr_t;
 
static inline uint32_t dpl_hw_enter_critical(void)
{
    return os_hw_enter_critical();
}
 
static inline void dpl_hw_exit_critical(uint32_t ctx)
{
    os_hw_exit_critical(ctx);
}
 
static inline bool dpl_hw_is_in_critical(void)
{
    return os_hw_is_in_critical();
}
 
#ifdef __cplusplus
}
#endif
 
#endif /* DPL_DPL_OS_H */