#ifndef _ASM_IA64_TIMEX_H
#define _ASM_IA64_TIMEX_H

/*
 * Copyright (C) 1998-2001 Hewlett-Packard Co
 *	David Mosberger-Tang <davidm@hpl.hp.com>
 */
/*
 * 2001/01/18 davidm	Removed CLOCK_TICK_RATE.  It makes no sense on IA-64.
 *			Also removed cacheflush_time as it's entirely unused.
 */

#include <asm/processor.h>

typedef unsigned long cycles_t;

#define CLOCK_TICK_RATE		100000000

static inline cycles_t
get_cycles (void)
{
	cycles_t ret;

	__asm__ __volatile__ ("mov %0=ar.itc" : "=r"(ret));
	return ret;
}

extern unsigned long (*gettimeoffset)(void);
extern void ia64_reset_wall_time (void);
extern void ia64_update_wall_time (long delta_nsec);

#endif /* _ASM_IA64_TIMEX_H */