dpl_time.h

Go to the documentation of this file.

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

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

static inline dpl_time_t dpl_time_get(void)
{
    return os_time_get();
}

static inline dpl_error_t dpl_time_ms_to_ticks(uint32_t ms, dpl_time_t *out_ticks)
{
    return (dpl_error_t) os_time_ms_to_ticks(ms, out_ticks);
}

static inline dpl_error_t  dpl_time_ticks_to_ms(dpl_time_t ticks, uint32_t *out_ms)
{
    return (dpl_error_t) os_time_ticks_to_ms(ticks, out_ms);
}

static inline dpl_time_t dpl_time_ms_to_ticks32(uint32_t ms)
{
    return os_time_ms_to_ticks32(ms);
}

static inline dpl_time_t dpl_time_ticks_to_ms32(dpl_time_t ticks)
{
    return os_time_ticks_to_ms32(ticks);
}

static inline void dpl_time_delay(dpl_time_t ticks)
{
    return os_time_delay(ticks);
}
 
#ifdef __cplusplus
}
#endif