vchiq_platform_init_state 2219 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.c 	status = vchiq_platform_init_state(state);
vchiq_platform_init_state  631 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.h vchiq_platform_init_state(struct vchiq_state *state);