contract_device_finalize
contract_device_finalize(dip, dev, spec_type, ct_evtype, ct_result);
void contract_device_finalize(dev_info_t *dip, dev_t dev, int spec_type,