1#ifndef __LINUX_GOLDFISH_H
2#define __LINUX_GOLDFISH_H
3
4/* Helpers for Goldfish virtual platform */
5
6static 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