Symbol: mark_service_closing_internal
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c
2043
mark_service_closing_internal(service, 1);
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c
453
mark_service_closing_internal(service, 0);