VCHIQ_SERVICE_OPTION_T 3229 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.c 	VCHIQ_SERVICE_OPTION_T option, int value)
VCHIQ_SERVICE_OPTION_T  136 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_if.h 	VCHIQ_SERVICE_OPTION_T option, int value);
VCHIQ_SERVICE_OPTION_T   63 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_ioctl.h 	VCHIQ_SERVICE_OPTION_T option;
VCHIQ_SERVICE_OPTION_T  676 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_shim.c 	VCHIQ_SERVICE_OPTION_T vchiq_option;