dpl_cputime.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
 
#ifdef __cplusplus
extern "C" {
#endif
 
#include "os/os_cputime.h"
 
static inline uint32_t dpl_cputime_get32(void)
{
    return os_cputime_get32();
}
 
static inline uint32_t dpl_cputime_usecs_to_ticks(uint32_t usecs)
{
    return os_cputime_usecs_to_ticks(usecs);
}
 
static inline uint32_t dpl_cputime_ticks_to_usecs(uint32_t ticks)
{
    return os_cputime_ticks_to_usecs(ticks);
}
 
static inline void dpl_cputime_delay_ticks(uint32_t ticks)
{
    os_cputime_delay_ticks(ticks);
}
 
static inline void dpl_cputime_delay_usecs(uint32_t usecs)
{
    os_cputime_delay_usecs(usecs);
}
 
static inline void dpl_cputime_timer_init(struct hal_timer *timer, hal_timer_cb fp,
        void *arg)
{
    os_cputime_timer_init(timer, fp, arg);
}
 
static inline int dpl_cputime_timer_start(struct hal_timer *timer, uint32_t cputime)
{
    return os_cputime_timer_start(timer, cputime);
}
 
static inline int dpl_cputime_timer_relative(struct hal_timer *timer, uint32_t usecs)
{
    return os_cputime_timer_relative(timer, usecs);
}
 
static inline void dpl_cputime_timer_stop(struct hal_timer *timer)
{
    os_cputime_timer_stop(timer);
}
 
#ifdef __cplusplus
}
#endif