/* Copyright 2000  AG Electronics Ltd. */
/* This code is distributed without warranty under the GPL v2 (see COPYING) */

#ifndef _TIMER_H
#define __TIMER_H

unsigned long get_hz(void);
unsigned long ticks_since_boot(void);
void sleep_ticks(unsigned long);
void udelay(int);

#endif