dpl_os.h

Go to the documentation of this file.

/*
 * SPDX-FileCopyrightText: 2020 Inria
 * SPDX-License-Identifier: LGPL-2.1-only
 */
 
#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