CT_EV_SUCCESS
ASSERT(result == CT_EV_SUCCESS || result == CT_EV_FAILURE);
result == CT_EV_SUCCESS ? 1 : 0) == 0);
CT_EV_SUCCESS : CT_EV_FAILURE);
contract_device_negend(dip, DDI_DEV_T_ANY, 0, CT_EV_SUCCESS);
contract_device_negend(dip, DDI_DEV_T_ANY, 0, CT_EV_SUCCESS);
CT_EV_SUCCESS : CT_EV_FAILURE;