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);