static void __inline writeq(unsigned long long v, void __iomem *addr) 
static inline void writeq(unsigned long long v, void __iomem *addr) 
static void __inline writeq(unsigned long long v, void __iomem *addr){	writel(v & 0xffffffff, addr);	writel(v >> 32, addr + 4);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/887c27f369abc458556a5ce8ab22ddd498474307/hpet.c/clean/drivers/char/hpet.c