vchiq_platform_paused 1801 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.c 			vchiq_platform_paused(state);
vchiq_platform_paused  597 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.h vchiq_platform_paused(struct vchiq_state *state);