VCHIQ_IOC_GET_CONFIG 1376 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c 	case VCHIQ_IOC_GET_CONFIG: {
VCHIQ_IOC_GET_CONFIG 1892 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c 	return vchiq_ioctl(file, VCHIQ_IOC_GET_CONFIG, (unsigned long)args);