CT_EV_FAILURE
contract_device_negend(dip, dev, spec_type, CT_EV_FAILURE);
ASSERT(result == CT_EV_SUCCESS || result == CT_EV_FAILURE);
contract_device_negend(dip, DDI_DEV_T_ANY, 0, CT_EV_FAILURE);
CT_EV_SUCCESS : CT_EV_FAILURE);
contract_device_negend(dip, dev, spec_type, CT_EV_FAILURE);
CT_EV_SUCCESS : CT_EV_FAILURE;