vchiq_dump_platform_use_state 3088 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c 	vchiq_dump_platform_use_state(state);
vchiq_dump_platform_use_state  146 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.h vchiq_dump_platform_use_state(struct vchiq_state *state);