cn30xxfau_op_iobdma
void cn30xxfau_op_iobdma(int, uint64_t);
cn30xxfau_op_iobdma((int)((uint32_t)scraddr >> 3) /* XXX */, args);