dpl_time.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_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