Symbol: vchiq_irq_queue_bulk_tx_rx