void qmp_migrate_set_downtime(double value, Error **errp)

{

    value *= 1e9;

    value = MAX(0, MIN(UINT64_MAX, value));

    max_downtime = (uint64_t)value;

}

void qmp_migrate_set_downtime(double value, Error **errp)

{

    value *= 1e9;

    value = MAX(0, MIN(UINT64_MAX, value));

    max_downtime = (uint64_t)value;

}

void FUNC_0(double VAR_0, Error **VAR_1)

{

    VAR_0 *= 1e9;

    VAR_0 = MAX(0, MIN(UINT64_MAX, VAR_0));

    max_downtime = (uint64_t)VAR_0;

}

void FUNC_0(double VAR_0, Error **VAR_1)
{ VAR_0 *= 1e9; VAR_0 = MAX(0, MIN(UINT64_MAX, VAR_0)); max_downtime = (uint64_t)VAR_0; }