vchiq_platform_videocore_wanted 2267 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c 			return vchiq_platform_videocore_wanted(state);
vchiq_platform_videocore_wanted  140 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.h vchiq_platform_videocore_wanted(struct vchiq_state *state);