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