Symbol: vchiq_terminate_service_internal
drivers/platform/raspberrypi/vchiq-interface/vchiq_dev.c
1245
vchiq_terminate_service_internal(service);
include/linux/raspberrypi/vchiq_core.h
539
vchiq_terminate_service_internal(struct vchiq_service *service);