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.
 */
 
#pragma once

 
#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