Symbol: fc_port_dev32_t