pio_write32be
IO_COND(addr, pio_write32be(val,port), mmio_write32be(val, addr));
pio_write32be(val, port + sizeof(u32));
pio_write32be(val >> 32, port);