Symbol: vchiq_ioc_dequeue_message
drivers/platform/raspberrypi/vchiq-interface/vchiq_dev.c
1115
return vchiq_ioc_dequeue_message(file->private_data, &args);
drivers/platform/raspberrypi/vchiq-interface/vchiq_dev.c
790
ret = vchiq_ioc_dequeue_message(instance, &args);