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

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