#ifdef CONFIG_MIPS_GOLDFISH
#include <asm/mach-goldfish/time.h>
#endif