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);