pio_write16be
#ifndef pio_write16be
IO_COND(addr, pio_write16be(val,port), mmio_write16be(val, addr));