/*
 * linux/include/asm-arm/arch-ixp4xx/time.h
 *
 * We implement timer code in arch/arm/mach-ixp4xx/time.c
 *
 */