is_vchi 88 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c char is_vchi; is_vchi 619 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c if (header && user_service->is_vchi) { is_vchi 914 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c user_service->is_vchi = (args.is_vchi != 0); is_vchi 1305 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c if (user_service->is_vchi == 0) { is_vchi 1486 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c int is_vchi; is_vchi 1521 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c put_user(args32.is_vchi, &args->is_vchi) || is_vchi 2184 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c user_service->is_vchi) { is_vchi 16 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_ioctl.h int is_vchi;