pio_read16be
#ifndef pio_read16be
IO_COND(addr, return pio_read16be(port), return mmio_read16be(addr));