vchiq_terminate_service_internal 1990 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c 		vchiq_terminate_service_internal(service);
vchiq_terminate_service_internal  513 drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.h vchiq_terminate_service_internal(struct vchiq_service *service);