Symbol: ibdma_port_t