VCHIQ_SERVICE_CLOSED
if (reason == VCHIQ_SERVICE_CLOSED) {
status = make_service_callback(service, VCHIQ_SERVICE_CLOSED, NULL, NULL);
if (completion->reason == VCHIQ_SERVICE_CLOSED) {
if ((completion->reason == VCHIQ_SERVICE_CLOSED) &&
case VCHIQ_SERVICE_CLOSED: