vchiq_dump_state 2215 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c 	vchiq_dump_state(&context, &g_state);
vchiq_dump_state  530 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.h vchiq_dump_state(void *dump_context, struct vchiq_state *state);