/*
 * SPDX-License-Identifier: GPL-2.0
 *
 * Copyright (C) 2015 Philippe Gerum  <rpm@xenomai.org>
 */

#ifndef _COBALT_ARM64_DOVETAIL_CALIBRATION_H
#define _COBALT_ARM64_DOVETAIL_CALIBRATION_H

static inline void xnarch_get_latencies(struct xnclock_gravity *p)
{
	unsigned int sched_latency;

#if CONFIG_XENO_OPT_TIMING_SCHEDLAT != 0
	sched_latency = CONFIG_XENO_OPT_TIMING_SCHEDLAT;
#else
	sched_latency = 5000;
#endif
	p->user = xnclock_ns_to_ticks(&nkclock, sched_latency);
	p->kernel = xnclock_ns_to_ticks(&nkclock,
					CONFIG_XENO_OPT_TIMING_KSCHEDLAT);
	p->irq = xnclock_ns_to_ticks(&nkclock, CONFIG_XENO_OPT_TIMING_IRQLAT);
}

#endif /* !_COBALT_ARM64_DOVETAIL_CALIBRATION_H */