vchiq_dump_platform_state 3396 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.c 	vchiq_dump_platform_state(dump_context);
vchiq_dump_platform_state  609 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.h vchiq_dump_platform_state(void *dump_context);