/*
* linux/include/asm-arm/arch-ixp4xx/timex.h
*
*/
#include <asm/hardware.h>
* We use IXP425 General purpose timer for our timer needs, it runs at
* 66.66... MHz
#define CLOCK_TICK_RATE (66666666)