/*
 * SPDX-License-Identifier: GPL-2.0
 */

#ifndef _COBALT_KERNEL_IPIPE_CLOCK_H
#define _COBALT_KERNEL_IPIPE_CLOCK_H

#include <linux/ipipe_tickdev.h>
#include <cobalt/uapi/kernel/types.h>

struct timespec64;

static inline u64 pipeline_read_cycle_counter(void)
{
	u64 t;
	ipipe_read_tsc(t);
	return t;
}

xnticks_t pipeline_read_wallclock(void);

int pipeline_set_wallclock(xnticks_t epoch_ns);

static inline void pipeline_set_timer_shot(unsigned long cycles)
{
	ipipe_timer_set(cycles);
}

static inline const char *pipeline_timer_name(void)
{
	return ipipe_timer_name();
}

static inline const char *pipeline_clock_name(void)
{
	return ipipe_clock_name();
}

int pipeline_get_host_time(struct timespec64 *tp);

void pipeline_update_clock_freq(unsigned long long freq);

void pipeline_init_clock(void);

#endif /* !_COBALT_KERNEL_IPIPE_CLOCK_H */