dpl_cputime.h

Go to the documentation of this file.

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