IRONGATE_IO
return (void __iomem *)(addr + IRONGATE_IO);
return addr < IRONGATE_IO || addr >= IRONGATE_CONF;
= (IRONGATE_IO & 0xffffffffffUL) | 0x80000000000UL;