vchiu_queue_push  525 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_shim.c 		vchiu_queue_push(&service->queue, header);
vchiu_queue_push   44 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_util.h extern void vchiu_queue_push(struct vchiu_queue *queue,