vchiq_get_service_userdata 15 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_if.h #define VCHIQ_GET_SERVICE_USERDATA(service) vchiq_get_service_userdata(service) vchiq_get_service_userdata 132 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_if.h extern void *vchiq_get_service_userdata(VCHIQ_SERVICE_HANDLE_T service);