os_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.
 */
 
#ifndef OS_OS_TIME_H
#define OS_OS_TIME_H
 
#include "os/os_error.h"
#include "ztimer.h"
 
#ifdef __cplusplus
extern "C" {
#endif
 
#define OS_TICKS_PER_SEC (MS_PER_SEC)
 
static inline os_time_t os_time_get(void)
{
    return ztimer_now(ZTIMER_MSEC);
}
 
static inline os_error_t os_time_ms_to_ticks(uint32_t ms, os_time_t *out_ticks)
{
    *out_ticks = ms;
    return OS_OK;
}
 
static inline os_error_t  os_time_ticks_to_ms(os_time_t ticks, uint32_t *out_ms)
{
    *out_ms = ticks;
    return OS_OK;
}
 
static inline os_time_t os_time_ms_to_ticks32(uint32_t ms)
{
    return ms;
}
 
static inline os_time_t os_time_ticks_to_ms32(os_time_t ticks)
{
    return ticks;
}
 
static inline void os_time_delay(os_time_t ticks)
{
    if (irq_is_in()) {
        ztimer_spin(ZTIMER_MSEC, ticks);
    }
    else {
        ztimer_sleep(ZTIMER_MSEC, ticks);
    }
}
 
#ifdef __cplusplus
}
#endif
 
#endif /* OS_OS_TIME_H */