Symbol: vchiq_ioctl
drivers/platform/raspberrypi/vchiq-interface/vchiq_dev.c
1168
return vchiq_ioctl(file, cmd, (unsigned long)argp);
drivers/platform/raspberrypi/vchiq-interface/vchiq_dev.c
1318
.unlocked_ioctl = vchiq_ioctl,