unsigned char __ia64_readb_relaxed (void *addr) { return ___ia64_readb (addr); }
unsigned char __ia64_readb (void __iomem *addr) { return ___ia64_readb (addr); }
unsigned char __ia64_readb_relaxed (void *addr) { return ___ia64_readb (addr); }
unsigned char __ia64_readb (void __iomem *addr) { return ___ia64_readb (addr); }