unsigned long __ia64_readq_relaxed (void *addr) { return ___ia64_readq (addr); }
unsigned long __ia64_readq (void __iomem *addr) { return ___ia64_readq (addr); }