vchiq_dump_platform_service_state 3503 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.c 		vchiq_dump_platform_service_state(dump_context, service);
vchiq_dump_platform_service_state  615 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.h vchiq_dump_platform_service_state(void *dump_context,