unsigned short __ia64_readw_relaxed (void *addr) { return ___ia64_readw (addr); }
unsigned short __ia64_readw (void __iomem *addr) { return ___ia64_readw (addr); }