Symbol: mark_service_closing
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c
3282
mark_service_closing(service);
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c
3386
mark_service_closing(service);
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c
3442
mark_service_closing(service);