XUSB_FALCON_CPUCTL
CSB_RD4(sc, XUSB_FALCON_CPUCTL));
CSB_RD4(sc, XUSB_FALCON_CPUCTL));
CSB_WR4(sc, XUSB_FALCON_CPUCTL, CPUCTL_STARTCPU);
if (CSB_RD4(sc, XUSB_FALCON_CPUCTL) == CPUCTL_STOPPED)
"state: 0x%08X\n", CSB_RD4(sc, XUSB_FALCON_CPUCTL));