vchiq_platform_handle_timeout 1924 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.c 				vchiq_platform_handle_timeout(state);
vchiq_platform_handle_timeout  651 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.h vchiq_platform_handle_timeout(struct vchiq_state *state);