static char *enumerate_cpus(unsigned long *cpus, int max_cpus)

{

    int cpu;

    bool first = true;

    GString *s = g_string_new(NULL);



    for (cpu = find_first_bit(cpus, max_cpus);

        cpu < max_cpus;

        cpu = find_next_bit(cpus, max_cpus, cpu + 1)) {

        g_string_append_printf(s, "%s%d", first ? "" : " ", cpu);

        first = false;

    }

    return g_string_free(s, FALSE);

}

static char *enumerate_cpus(unsigned long *cpus, int max_cpus)

{

    int cpu;

    bool first = true;

    GString *s = g_string_new(NULL);



    for (cpu = find_first_bit(cpus, max_cpus);

        cpu < max_cpus;

        cpu = find_next_bit(cpus, max_cpus, cpu + 1)) {

        g_string_append_printf(s, "%s%d", first ? "" : " ", cpu);

        first = false;

    }

    return g_string_free(s, FALSE);

}

static char *FUNC_0(unsigned long *VAR_0, int VAR_1)

{

    int VAR_2;

    bool first = true;

    GString *s = g_string_new(NULL);



    for (VAR_2 = find_first_bit(VAR_0, VAR_1);

        VAR_2 < VAR_1;

        VAR_2 = find_next_bit(VAR_0, VAR_1, VAR_2 + 1)) {

        g_string_append_printf(s, "%s%d", first ? "" : " ", VAR_2);

        first = false;

    }

    return g_string_free(s, FALSE);

}

static char *FUNC_0(unsigned long *VAR_0, int VAR_1)
{ int VAR_2; bool first = true; GString *s = g_string_new(NULL); for (VAR_2 = find_first_bit(VAR_0, VAR_1); VAR_2 < VAR_1; VAR_2 = find_next_bit(VAR_0, VAR_1, VAR_2 + 1)) { g_string_append_printf(s, "%s%d", first ? "" : " ", VAR_2); first = false; } return g_string_free(s, FALSE); }