void AcpiCpuHotplug_add(ACPIGPE *gpe, AcpiCpuHotplug *g, CPUState *cpu)

{

    CPUClass *k = CPU_GET_CLASS(cpu);

    int64_t cpu_id;



    *gpe->sts = *gpe->sts | ACPI_CPU_HOTPLUG_STATUS;

    cpu_id = k->get_arch_id(CPU(cpu));


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

}
void AcpiCpuHotplug_add(ACPIGPE *gpe, AcpiCpuHotplug *g, CPUState *cpu)

{

    CPUClass *k = CPU_GET_CLASS(cpu);

    int64_t cpu_id;



    *gpe->sts = *gpe->sts | ACPI_CPU_HOTPLUG_STATUS;

    cpu_id = k->get_arch_id(CPU(cpu));


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

}
void FUNC_0(ACPIGPE *VAR_0, AcpiCpuHotplug *VAR_1, CPUState *VAR_2)

{

    CPUClass *k = CPU_GET_CLASS(VAR_2);

    int64_t cpu_id;



    *VAR_0->sts = *VAR_0->sts | ACPI_CPU_HOTPLUG_STATUS;

    cpu_id = k->get_arch_id(CPU(VAR_2));


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

}
void FUNC_0(ACPIGPE *VAR_0, AcpiCpuHotplug *VAR_1, CPUState *VAR_2)
{ CPUClass *k = CPU_GET_CLASS(VAR_2); int64_t cpu_id; *VAR_0->sts = *VAR_0->sts | ACPI_CPU_HOTPLUG_STATUS; cpu_id = k->get_arch_id(CPU(VAR_2)); VAR_1->sts[cpu_id / 8] |= (1 << (cpu_id % 8)); }