Boot Linux faster!

Check our new training course

Boot Linux faster!

Check our new training course
and Creative Commons CC-BY-SA
lecture and lab materials

Bootlin logo

Elixir Cross Referencer

 * Copyright (c) 2017 Oticon A/S
 * SPDX-License-Identifier: Apache-2.0


#include "hw_models_top.h"
#include <stdbool.h>

#ifdef __cplusplus
extern "C" {

void hwtimer_init(void);
void hwtimer_cleanup(void);
void hwtimer_set_real_time_mode(bool new_rt);
void hwtimer_timer_reached(void);
void hwtimer_wake_in_time(u64_t time);
void hwtimer_set_silent_ticks(s64_t sys_ticks);
void hwtimer_enable(u64_t period);
s64_t hwtimer_get_pending_silent_ticks(void);

void hwtimer_reset_rtc(void);
void hwtimer_set_rtc_offset(s64_t offset);
void hwtimer_set_rt_ratio(double ratio);

void hwtimer_adjust_rtc_offset(s64_t offset_delta);
void hwtimer_adjust_rt_ratio(double ratio_correction);
s64_t hwtimer_get_simu_rtc_time(void);
void hwtimer_get_pseudohost_rtc_time(u32_t *nsec, u64_t *sec);

#ifdef __cplusplus