1 #ifndef __LINUX_GOLDFISH_H 2 #define __LINUX_GOLDFISH_H 3 4 /* Helpers for Goldfish virtual platform */ 5 6 static inline void gf_write64(unsigned long data, 7 void __iomem *portl, void __iomem *porth) 8 { 9 writel((u32)data, portl); 10 #ifdef CONFIG_64BIT 11 writel(data>>32, porth); 12 #endif 13 } 14 15 #endif /* __LINUX_GOLDFISH_H */ 16