/*
 * linux/include/asm-arm/arch-adifcc/time.h
 *
 */


/*
 * No on board timer on 80200EVB, implemenation @ 
 * 	arch/arm/kernel/xscale-time.c
 * On the BRH, we use the onboard timer and it's implemented in
 * 	arch/arm/mach-adifcc/brh-time.c
 */
