static void numa_node_parse_cpus(int nodenr, const char *cpus)

{

    char *endptr;

    unsigned long long value, endvalue;



    value = strtoull(cpus, &endptr, 10);

    if (*endptr == '-') {

        endvalue = strtoull(endptr+1, &endptr, 10);

    } else {

        endvalue = value;

    }



    if (!(endvalue < MAX_CPUMASK_BITS)) {

        endvalue = MAX_CPUMASK_BITS - 1;

        fprintf(stderr,

            "A max of %d CPUs are supported in a guest\n",

             MAX_CPUMASK_BITS);

    }



    bitmap_set(node_cpumask[nodenr], value, endvalue-value+1);

}

static void numa_node_parse_cpus(int nodenr, const char *cpus)

{

    char *endptr;

    unsigned long long value, endvalue;



    value = strtoull(cpus, &endptr, 10);

    if (*endptr == '-') {

        endvalue = strtoull(endptr+1, &endptr, 10);

    } else {

        endvalue = value;

    }



    if (!(endvalue < MAX_CPUMASK_BITS)) {

        endvalue = MAX_CPUMASK_BITS - 1;

        fprintf(stderr,

            "A max of %d CPUs are supported in a guest\n",

             MAX_CPUMASK_BITS);

    }



    bitmap_set(node_cpumask[nodenr], value, endvalue-value+1);

}

static void FUNC_0(int VAR_0, const char *VAR_1)

{

    char *VAR_2;

    unsigned long long VAR_3, VAR_4;



    VAR_3 = strtoull(VAR_1, &VAR_2, 10);

    if (*VAR_2 == '-') {

        VAR_4 = strtoull(VAR_2+1, &VAR_2, 10);

    } else {

        VAR_4 = VAR_3;

    }



    if (!(VAR_4 < MAX_CPUMASK_BITS)) {

        VAR_4 = MAX_CPUMASK_BITS - 1;

        fprintf(stderr,

            "A max of %d CPUs are supported in a guest\n",

             MAX_CPUMASK_BITS);

    }



    bitmap_set(node_cpumask[VAR_0], VAR_3, VAR_4-VAR_3+1);

}

static void FUNC_0(int VAR_0, const char *VAR_1)
{ char *VAR_2; unsigned long long VAR_3, VAR_4; VAR_3 = strtoull(VAR_1, &VAR_2, 10); if (*VAR_2 == '-') { VAR_4 = strtoull(VAR_2+1, &VAR_2, 10); } else { VAR_4 = VAR_3; } if (!(VAR_4 < MAX_CPUMASK_BITS)) { VAR_4 = MAX_CPUMASK_BITS - 1; fprintf(stderr,
"A max of %d CPUs are supported in a guest\n",
MAX_CPUMASK_BITS); } bitmap_set(node_cpumask[VAR_0], VAR_3, VAR_4-VAR_3+1); }