vchiq_platform_resumed 1810 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.c 			vchiq_platform_resumed(state);
vchiq_platform_resumed 1911 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.c 					vchiq_platform_resumed(state);
vchiq_platform_resumed  603 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.h vchiq_platform_resumed(struct vchiq_state *state);