vchiq_dump_platform_instances 3401 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.c 	vchiq_dump_platform_instances(dump_context);
vchiq_dump_platform_instances  612 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.h vchiq_dump_platform_instances(void *dump_context);