vchiq_dump_service_state 3407 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.c 			vchiq_dump_service_state(dump_context, service);
vchiq_dump_service_state  533 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.h vchiq_dump_service_state(void *dump_context, struct vchiq_service *service);