static void acpi_set_cpu_present_bit(AcpiCpuHotplug *g, CPUState *cpu,

                                     Error **errp)

{

    CPUClass *k = CPU_GET_CLASS(cpu);

    int64_t cpu_id;



    cpu_id = k->get_arch_id(cpu);

    if ((cpu_id / 8) >= ACPI_GPE_PROC_LEN) {

        error_setg(errp, "acpi: invalid cpu id: %" PRIi64, cpu_id);

        return;

    }



    g->sts[cpu_id / 8] |= (1 << (cpu_id % 8));

}

static void acpi_set_cpu_present_bit(AcpiCpuHotplug *g, CPUState *cpu,

                                     Error **errp)

{

    CPUClass *k = CPU_GET_CLASS(cpu);

    int64_t cpu_id;



    cpu_id = k->get_arch_id(cpu);

    if ((cpu_id / 8) >= ACPI_GPE_PROC_LEN) {

        error_setg(errp, "acpi: invalid cpu id: %" PRIi64, cpu_id);

        return;

    }



    g->sts[cpu_id / 8] |= (1 << (cpu_id % 8));

}

static void FUNC_0(AcpiCpuHotplug *VAR_0, CPUState *VAR_1,

                                     Error **VAR_2)

{

    CPUClass *k = CPU_GET_CLASS(VAR_1);

    int64_t cpu_id;



    cpu_id = k->get_arch_id(VAR_1);

    if ((cpu_id / 8) >= ACPI_GPE_PROC_LEN) {

        error_setg(VAR_2, "acpi: invalid VAR_1 id: %" PRIi64, cpu_id);

        return;

    }



    VAR_0->sts[cpu_id / 8] |= (1 << (cpu_id % 8));

}

static void FUNC_0(AcpiCpuHotplug *VAR_0, CPUState *VAR_1,
Error **VAR_2)
{ CPUClass *k = CPU_GET_CLASS(VAR_1); int64_t cpu_id; cpu_id = k->get_arch_id(VAR_1); if ((cpu_id / 8) >= ACPI_GPE_PROC_LEN) { error_setg(VAR_2, "acpi: invalid VAR_1 id: %" PRIi64, cpu_id); return; } VAR_0->sts[cpu_id / 8] |= (1 << (cpu_id % 8)); }