DDI_FM_DEVICE_BADINT_LIMIT
DDI_FM_DEVICE_BADINT_LIMIT);
mlxcx_fm_ereport(mlxp, DDI_FM_DEVICE_BADINT_LIMIT);