static void virt_acpi_get_cpu_info(VirtAcpiCpuInfo *cpuinfo)

{

    CPUState *cpu;



    memset(cpuinfo->found_cpus, 0, sizeof cpuinfo->found_cpus);

    CPU_FOREACH(cpu) {

        set_bit(cpu->cpu_index, cpuinfo->found_cpus);

    }

}

static void virt_acpi_get_cpu_info(VirtAcpiCpuInfo *cpuinfo)

{

    CPUState *cpu;



    memset(cpuinfo->found_cpus, 0, sizeof cpuinfo->found_cpus);

    CPU_FOREACH(cpu) {

        set_bit(cpu->cpu_index, cpuinfo->found_cpus);

    }

}

static void FUNC_0(VirtAcpiCpuInfo *VAR_0)

{

    CPUState *cpu;



    memset(VAR_0->found_cpus, 0, sizeof VAR_0->found_cpus);

    CPU_FOREACH(cpu) {

        set_bit(cpu->cpu_index, VAR_0->found_cpus);

    }

}

static void FUNC_0(VirtAcpiCpuInfo *VAR_0)
{ CPUState *cpu; memset(VAR_0->found_cpus, 0, sizeof VAR_0->found_cpus); CPU_FOREACH(cpu) { set_bit(cpu->cpu_index, VAR_0->found_cpus); } }