RMIXL_IOREG_VADDR
RMIXL_IOREG_VADDR(usbi->usbi_addr));
RMIXL_IOREG_VADDR(obio->obio_addr));
RMIXL_IOREG_VADDR(usbi->usbi_addr));
return rmixl_probe_4((volatile uint32_t *)RMIXL_IOREG_VADDR(obio->obio_addr));
#define RMIXL_IOREG_READ(o) be32toh(*RMIXL_IOREG_VADDR(o))
#define RMIXL_IOREG_WRITE(o,v) *RMIXL_IOREG_VADDR(o) = htobe32(v)