#include <asm/hardware.h>

#define CLOCK_TICK_RATE (100 * HZ)