CSB_RD4
CSB_RD4(sc, XUSB_FALCON_CPUCTL));
if (CSB_RD4(sc, XUSB_CSB_MEMPOOL_ILOAD_BASE_LO) != 0) {
CSB_RD4(sc, XUSB_FALCON_CPUCTL));
if (CSB_RD4(sc, XUSB_CSB_MEMPOOL_L2IMEMOP_RESULT) &
CSB_RD4(sc, XUSB_CSB_MEMPOOL_L2IMEMOP_RESULT));
if (CSB_RD4(sc, XUSB_FALCON_CPUCTL) == CPUCTL_STOPPED)
"state: 0x%08X\n", CSB_RD4(sc, XUSB_FALCON_CPUCTL));