unsigned int __ia64_readl_relaxed (void *addr) { return ___ia64_readl (addr); }
unsigned int __ia64_readl (void __iomem *addr) { return ___ia64_readl (addr); }