VCHIQ_IOC_DEQUEUE_MESSAGE 1288 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c 	case VCHIQ_IOC_DEQUEUE_MESSAGE: {
VCHIQ_IOC_DEQUEUE_MESSAGE 1859 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c 	return vchiq_ioctl(file, VCHIQ_IOC_DEQUEUE_MESSAGE,