pio_read32be
IO_COND(addr, return pio_read32be(port), return mmio_read32be(addr));
lo = pio_read32be(port + sizeof(u32));
hi = pio_read32be(port);