#ifdef CONFIG_GOLDFISH
#include <asm/mach-goldfish/hardware.h>
#endif