#ifndef __LINUX_GOLDFISH_H
#define __LINUX_GOLDFISH_H
/* Helpers for Goldfish virtual platform */
static inline void gf_write64(unsigned long data,
void __iomem *portl, void __iomem *porth)
{
writel((u32)data, portl);
#ifdef CONFIG_64BIT
writel(data>>32, porth);
#endif
}
#endif /* __LINUX_GOLDFISH_H */