static void validate_numa_cpus(void)

{

    int i;

    unsigned long *seen_cpus = bitmap_new(max_cpus);



    for (i = 0; i < nb_numa_nodes; i++) {

        if (bitmap_intersects(seen_cpus, numa_info[i].node_cpu, max_cpus)) {

            bitmap_and(seen_cpus, seen_cpus,

                       numa_info[i].node_cpu, max_cpus);

            error_report("CPU(s) present in multiple NUMA nodes: %s",

                         enumerate_cpus(seen_cpus, max_cpus));

            g_free(seen_cpus);

            exit(EXIT_FAILURE);

        }

        bitmap_or(seen_cpus, seen_cpus,

                  numa_info[i].node_cpu, max_cpus);

    }



    if (!bitmap_full(seen_cpus, max_cpus)) {

        char *msg;

        bitmap_complement(seen_cpus, seen_cpus, max_cpus);

        msg = enumerate_cpus(seen_cpus, max_cpus);

        error_report("warning: CPU(s) not present in any NUMA nodes: %s", msg);

        error_report("warning: All CPU(s) up to maxcpus should be described "

                     "in NUMA config");

        g_free(msg);

    }

    g_free(seen_cpus);

}

static void validate_numa_cpus(void)

{

    int i;

    unsigned long *seen_cpus = bitmap_new(max_cpus);



    for (i = 0; i < nb_numa_nodes; i++) {

        if (bitmap_intersects(seen_cpus, numa_info[i].node_cpu, max_cpus)) {

            bitmap_and(seen_cpus, seen_cpus,

                       numa_info[i].node_cpu, max_cpus);

            error_report("CPU(s) present in multiple NUMA nodes: %s",

                         enumerate_cpus(seen_cpus, max_cpus));

            g_free(seen_cpus);

            exit(EXIT_FAILURE);

        }

        bitmap_or(seen_cpus, seen_cpus,

                  numa_info[i].node_cpu, max_cpus);

    }



    if (!bitmap_full(seen_cpus, max_cpus)) {

        char *msg;

        bitmap_complement(seen_cpus, seen_cpus, max_cpus);

        msg = enumerate_cpus(seen_cpus, max_cpus);

        error_report("warning: CPU(s) not present in any NUMA nodes: %s", msg);

        error_report("warning: All CPU(s) up to maxcpus should be described "

                     "in NUMA config");

        g_free(msg);

    }

    g_free(seen_cpus);

}

static void FUNC_0(void)

{

    int VAR_0;

    unsigned long *VAR_1 = bitmap_new(max_cpus);



    for (VAR_0 = 0; VAR_0 < nb_numa_nodes; VAR_0++) {

        if (bitmap_intersects(VAR_1, numa_info[VAR_0].node_cpu, max_cpus)) {

            bitmap_and(VAR_1, VAR_1,

                       numa_info[VAR_0].node_cpu, max_cpus);

            error_report("CPU(s) present in multiple NUMA nodes: %s",

                         enumerate_cpus(VAR_1, max_cpus));

            g_free(VAR_1);

            exit(EXIT_FAILURE);

        }

        bitmap_or(VAR_1, VAR_1,

                  numa_info[VAR_0].node_cpu, max_cpus);

    }



    if (!bitmap_full(VAR_1, max_cpus)) {

        char *VAR_2;

        bitmap_complement(VAR_1, VAR_1, max_cpus);

        VAR_2 = enumerate_cpus(VAR_1, max_cpus);

        error_report("warning: CPU(s) not present in any NUMA nodes: %s", VAR_2);

        error_report("warning: All CPU(s) up to maxcpus should be described "

                     "in NUMA config");

        g_free(VAR_2);

    }

    g_free(VAR_1);

}

static void FUNC_0(void)
{ int VAR_0; unsigned long *VAR_1 = bitmap_new(max_cpus); for (VAR_0 = 0; VAR_0 < nb_numa_nodes; VAR_0++) { if (bitmap_intersects(VAR_1, numa_info[VAR_0].node_cpu, max_cpus)) { bitmap_and(VAR_1, VAR_1,
numa_info[VAR_0].node_cpu, max_cpus); error_report("CPU(s) present in multiple NUMA nodes: %s",
enumerate_cpus(VAR_1, max_cpus)); g_free(VAR_1); exit(EXIT_FAILURE); } bitmap_or(VAR_1, VAR_1,
numa_info[VAR_0].node_cpu, max_cpus); } if (!bitmap_full(VAR_1, max_cpus)) { char *VAR_2; bitmap_complement(VAR_1, VAR_1, max_cpus); VAR_2 = enumerate_cpus(VAR_1, max_cpus); error_report("warning: CPU(s) not present in any NUMA nodes: %s", VAR_2); error_report("warning: All CPU(s) up to maxcpus should be described "
"in NUMA config"); g_free(VAR_2); } g_free(VAR_1); }