vchiq_on_remote_release 1817 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.c 			vchiq_on_remote_release(state);
vchiq_on_remote_release  628 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.h vchiq_on_remote_release(struct vchiq_state *state);