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

/*
 * No on board timer, implemenation @ arch/arm/kernel/xscale-time.c
 */