voidvchiu_queue_push(VCHIU_QUEUE_T *queue, VCHIQ_HEADER_T *header){while(queue->write ==queue->read +queue->size) {if(down_interruptible(&queue->pop) !=0) {flush_signals(current); } }/* * Write to queue->storage must be visible after read from * queue->read */smp_mb();queu...