#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_ARCH_DMA_ADDR_T_64BIT writel(data>>32, porth); #endif } #endif /* __LINUX_GOLDFISH_H */