contract_device_negend
contract_device_negend(dip, dev, spec_type, CT_EV_FAILURE);
contract_device_negend(dip, dev, spec_type, ct_result);
contract_device_negend(dip, dev, spec_type, ct_result);
contract_device_negend(dip, dev, spec_type, ct_result);
contract_device_negend(dip, DDI_DEV_T_ANY, 0, CT_EV_FAILURE);
contract_device_negend(dip, DDI_DEV_T_ANY, 0, result == DDI_SUCCESS ?
contract_device_negend(dip, DDI_DEV_T_ANY, 0, CT_EV_SUCCESS);
contract_device_negend(dip, DDI_DEV_T_ANY, 0, CT_EV_SUCCESS);
contract_device_negend(dip, dev, spec_type, CT_EV_FAILURE);
void contract_device_negend(dev_info_t *dip, dev_t dev, int spec_type,