readq_be
return readq_be(addr);
#define mmio_read64be(addr) readq_be(addr)
tmp = readq_be((char *)afu->global_mmio_ptr + offset);
tmp = readq_be((char *)afu->global_mmio_ptr + offset);
*val = readq_be((char *)afu->global_mmio_ptr + offset);