static void build_processor_devices(Aml *sb_scope, unsigned acpi_cpus,

                                    AcpiCpuInfo *cpu, AcpiPmInfo *pm)

{

    int i;

    Aml *dev;

    Aml *crs;

    Aml *pkg;

    Aml *field;

    Aml *ifctx;

    Aml *method;



    /* The current AML generator can cover the APIC ID range [0..255],

     * inclusive, for VCPU hotplug. */

    QEMU_BUILD_BUG_ON(ACPI_CPU_HOTPLUG_ID_LIMIT > 256);

    g_assert(acpi_cpus <= ACPI_CPU_HOTPLUG_ID_LIMIT);



    /* create PCI0.PRES device and its _CRS to reserve CPU hotplug MMIO */

    dev = aml_device("PCI0." stringify(CPU_HOTPLUG_RESOURCE_DEVICE));

    aml_append(dev, aml_name_decl("_HID", aml_eisaid("PNP0A06")));

    aml_append(dev,

        aml_name_decl("_UID", aml_string("CPU Hotplug resources"))

    );

    /* device present, functioning, decoding, not shown in UI */

    aml_append(dev, aml_name_decl("_STA", aml_int(0xB)));

    crs = aml_resource_template();

    aml_append(crs,

        aml_io(AML_DECODE16, pm->cpu_hp_io_base, pm->cpu_hp_io_base, 1,

               pm->cpu_hp_io_len)

    );

    aml_append(dev, aml_name_decl("_CRS", crs));

    aml_append(sb_scope, dev);

    /* declare CPU hotplug MMIO region and PRS field to access it */

    aml_append(sb_scope, aml_operation_region(

        "PRST", AML_SYSTEM_IO, aml_int(pm->cpu_hp_io_base), pm->cpu_hp_io_len));

    field = aml_field("PRST", AML_BYTE_ACC, AML_NOLOCK, AML_PRESERVE);

    aml_append(field, aml_named_field("PRS", 256));

    aml_append(sb_scope, field);



    /* build Processor object for each processor */

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

        dev = aml_processor(i, 0, 0, "CP%.02X", i);



        method = aml_method("_MAT", 0, AML_NOTSERIALIZED);

        aml_append(method,

            aml_return(aml_call1(CPU_MAT_METHOD, aml_int(i))));

        aml_append(dev, method);



        method = aml_method("_STA", 0, AML_NOTSERIALIZED);

        aml_append(method,

            aml_return(aml_call1(CPU_STATUS_METHOD, aml_int(i))));

        aml_append(dev, method);



        method = aml_method("_EJ0", 1, AML_NOTSERIALIZED);

        aml_append(method,

            aml_return(aml_call2(CPU_EJECT_METHOD, aml_int(i), aml_arg(0)))

        );

        aml_append(dev, method);



        aml_append(sb_scope, dev);

    }



    /* build this code:

     *   Method(NTFY, 2) {If (LEqual(Arg0, 0x00)) {Notify(CP00, Arg1)} ...}

     */

    /* Arg0 = Processor ID = APIC ID */

    method = aml_method(AML_NOTIFY_METHOD, 2, AML_NOTSERIALIZED);

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

        ifctx = aml_if(aml_equal(aml_arg(0), aml_int(i)));

        aml_append(ifctx,

            aml_notify(aml_name("CP%.02X", i), aml_arg(1))

        );

        aml_append(method, ifctx);

    }

    aml_append(sb_scope, method);



    /* build "Name(CPON, Package() { One, One, ..., Zero, Zero, ... })"

     *

     * Note: The ability to create variable-sized packages was first

     * introduced in ACPI 2.0. ACPI 1.0 only allowed fixed-size packages

     * ith up to 255 elements. Windows guests up to win2k8 fail when

     * VarPackageOp is used.

     */

    pkg = acpi_cpus <= 255 ? aml_package(acpi_cpus) :

                             aml_varpackage(acpi_cpus);



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

        uint8_t b = test_bit(i, cpu->found_cpus) ? 0x01 : 0x00;

        aml_append(pkg, aml_int(b));

    }

    aml_append(sb_scope, aml_name_decl(CPU_ON_BITMAP, pkg));

}

static void build_processor_devices(Aml *sb_scope, unsigned acpi_cpus,

                                    AcpiCpuInfo *cpu, AcpiPmInfo *pm)

{

    int i;

    Aml *dev;

    Aml *crs;

    Aml *pkg;

    Aml *field;

    Aml *ifctx;

    Aml *method;



    



    QEMU_BUILD_BUG_ON(ACPI_CPU_HOTPLUG_ID_LIMIT > 256);

    g_assert(acpi_cpus <= ACPI_CPU_HOTPLUG_ID_LIMIT);



    

    dev = aml_device("PCI0." stringify(CPU_HOTPLUG_RESOURCE_DEVICE));

    aml_append(dev, aml_name_decl("_HID", aml_eisaid("PNP0A06")));

    aml_append(dev,

        aml_name_decl("_UID", aml_string("CPU Hotplug resources"))

    );

    

    aml_append(dev, aml_name_decl("_STA", aml_int(0xB)));

    crs = aml_resource_template();

    aml_append(crs,

        aml_io(AML_DECODE16, pm->cpu_hp_io_base, pm->cpu_hp_io_base, 1,

               pm->cpu_hp_io_len)

    );

    aml_append(dev, aml_name_decl("_CRS", crs));

    aml_append(sb_scope, dev);

    

    aml_append(sb_scope, aml_operation_region(

        "PRST", AML_SYSTEM_IO, aml_int(pm->cpu_hp_io_base), pm->cpu_hp_io_len));

    field = aml_field("PRST", AML_BYTE_ACC, AML_NOLOCK, AML_PRESERVE);

    aml_append(field, aml_named_field("PRS", 256));

    aml_append(sb_scope, field);



    

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

        dev = aml_processor(i, 0, 0, "CP%.02X", i);



        method = aml_method("_MAT", 0, AML_NOTSERIALIZED);

        aml_append(method,

            aml_return(aml_call1(CPU_MAT_METHOD, aml_int(i))));

        aml_append(dev, method);



        method = aml_method("_STA", 0, AML_NOTSERIALIZED);

        aml_append(method,

            aml_return(aml_call1(CPU_STATUS_METHOD, aml_int(i))));

        aml_append(dev, method);



        method = aml_method("_EJ0", 1, AML_NOTSERIALIZED);

        aml_append(method,

            aml_return(aml_call2(CPU_EJECT_METHOD, aml_int(i), aml_arg(0)))

        );

        aml_append(dev, method);



        aml_append(sb_scope, dev);

    }



    





    

    method = aml_method(AML_NOTIFY_METHOD, 2, AML_NOTSERIALIZED);

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

        ifctx = aml_if(aml_equal(aml_arg(0), aml_int(i)));

        aml_append(ifctx,

            aml_notify(aml_name("CP%.02X", i), aml_arg(1))

        );

        aml_append(method, ifctx);

    }

    aml_append(sb_scope, method);



    













    pkg = acpi_cpus <= 255 ? aml_package(acpi_cpus) :

                             aml_varpackage(acpi_cpus);



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

        uint8_t b = test_bit(i, cpu->found_cpus) ? 0x01 : 0x00;

        aml_append(pkg, aml_int(b));

    }

    aml_append(sb_scope, aml_name_decl(CPU_ON_BITMAP, pkg));

}

static void FUNC_0(Aml *VAR_0, unsigned VAR_1,

                                    AcpiCpuInfo *VAR_2, AcpiPmInfo *VAR_3)

{

    int VAR_4;

    Aml *dev;

    Aml *crs;

    Aml *pkg;

    Aml *field;

    Aml *ifctx;

    Aml *method;



    



    QEMU_BUILD_BUG_ON(ACPI_CPU_HOTPLUG_ID_LIMIT > 256);

    g_assert(VAR_1 <= ACPI_CPU_HOTPLUG_ID_LIMIT);



    

    dev = aml_device("PCI0." stringify(CPU_HOTPLUG_RESOURCE_DEVICE));

    aml_append(dev, aml_name_decl("_HID", aml_eisaid("PNP0A06")));

    aml_append(dev,

        aml_name_decl("_UID", aml_string("CPU Hotplug resources"))

    );

    

    aml_append(dev, aml_name_decl("_STA", aml_int(0xB)));

    crs = aml_resource_template();

    aml_append(crs,

        aml_io(AML_DECODE16, VAR_3->cpu_hp_io_base, VAR_3->cpu_hp_io_base, 1,

               VAR_3->cpu_hp_io_len)

    );

    aml_append(dev, aml_name_decl("_CRS", crs));

    aml_append(VAR_0, dev);

    

    aml_append(VAR_0, aml_operation_region(

        "PRST", AML_SYSTEM_IO, aml_int(VAR_3->cpu_hp_io_base), VAR_3->cpu_hp_io_len));

    field = aml_field("PRST", AML_BYTE_ACC, AML_NOLOCK, AML_PRESERVE);

    aml_append(field, aml_named_field("PRS", 256));

    aml_append(VAR_0, field);



    

    for (VAR_4 = 0; VAR_4 < VAR_1; VAR_4++) {

        dev = aml_processor(VAR_4, 0, 0, "CP%.02X", VAR_4);



        method = aml_method("_MAT", 0, AML_NOTSERIALIZED);

        aml_append(method,

            aml_return(aml_call1(CPU_MAT_METHOD, aml_int(VAR_4))));

        aml_append(dev, method);



        method = aml_method("_STA", 0, AML_NOTSERIALIZED);

        aml_append(method,

            aml_return(aml_call1(CPU_STATUS_METHOD, aml_int(VAR_4))));

        aml_append(dev, method);



        method = aml_method("_EJ0", 1, AML_NOTSERIALIZED);

        aml_append(method,

            aml_return(aml_call2(CPU_EJECT_METHOD, aml_int(VAR_4), aml_arg(0)))

        );

        aml_append(dev, method);



        aml_append(VAR_0, dev);

    }



    





    

    method = aml_method(AML_NOTIFY_METHOD, 2, AML_NOTSERIALIZED);

    for (VAR_4 = 0; VAR_4 < VAR_1; VAR_4++) {

        ifctx = aml_if(aml_equal(aml_arg(0), aml_int(VAR_4)));

        aml_append(ifctx,

            aml_notify(aml_name("CP%.02X", VAR_4), aml_arg(1))

        );

        aml_append(method, ifctx);

    }

    aml_append(VAR_0, method);



    













    pkg = VAR_1 <= 255 ? aml_package(VAR_1) :

                             aml_varpackage(VAR_1);



    for (VAR_4 = 0; VAR_4 < VAR_1; VAR_4++) {

        uint8_t b = test_bit(VAR_4, VAR_2->found_cpus) ? 0x01 : 0x00;

        aml_append(pkg, aml_int(b));

    }

    aml_append(VAR_0, aml_name_decl(CPU_ON_BITMAP, pkg));

}

static void FUNC_0(Aml *VAR_0, unsigned VAR_1,
AcpiCpuInfo *VAR_2, AcpiPmInfo *VAR_3)
{ int VAR_4; Aml *dev; Aml *crs; Aml *pkg; Aml *field; Aml *ifctx; Aml *method; QEMU_BUILD_BUG_ON(ACPI_CPU_HOTPLUG_ID_LIMIT > 256); g_assert(VAR_1 <= ACPI_CPU_HOTPLUG_ID_LIMIT); dev = aml_device("PCI0." stringify(CPU_HOTPLUG_RESOURCE_DEVICE)); aml_append(dev, aml_name_decl("_HID", aml_eisaid("PNP0A06"))); aml_append(dev,
aml_name_decl("_UID", aml_string("CPU Hotplug resources"))
); aml_append(dev, aml_name_decl("_STA", aml_int(0xB))); crs = aml_resource_template(); aml_append(crs,
aml_io(AML_DECODE16, VAR_3->cpu_hp_io_base, VAR_3->cpu_hp_io_base, 1,
VAR_3->cpu_hp_io_len)
); aml_append(dev, aml_name_decl("_CRS", crs)); aml_append(VAR_0, dev); aml_append(VAR_0, aml_operation_region(
"PRST", AML_SYSTEM_IO, aml_int(VAR_3->cpu_hp_io_base), VAR_3->cpu_hp_io_len)); field = aml_field("PRST", AML_BYTE_ACC, AML_NOLOCK, AML_PRESERVE); aml_append(field, aml_named_field("PRS", 256)); aml_append(VAR_0, field); for (VAR_4 = 0; VAR_4 < VAR_1; VAR_4++) { dev = aml_processor(VAR_4, 0, 0, "CP%.02X", VAR_4); method = aml_method("_MAT", 0, AML_NOTSERIALIZED); aml_append(method,
aml_return(aml_call1(CPU_MAT_METHOD, aml_int(VAR_4)))); aml_append(dev, method); method = aml_method("_STA", 0, AML_NOTSERIALIZED); aml_append(method,
aml_return(aml_call1(CPU_STATUS_METHOD, aml_int(VAR_4)))); aml_append(dev, method); method = aml_method("_EJ0", 1, AML_NOTSERIALIZED); aml_append(method,
aml_return(aml_call2(CPU_EJECT_METHOD, aml_int(VAR_4), aml_arg(0)))
); aml_append(dev, method); aml_append(VAR_0, dev); } method = aml_method(AML_NOTIFY_METHOD, 2, AML_NOTSERIALIZED); for (VAR_4 = 0; VAR_4 < VAR_1; VAR_4++) { ifctx = aml_if(aml_equal(aml_arg(0), aml_int(VAR_4))); aml_append(ifctx,
aml_notify(aml_name("CP%.02X", VAR_4), aml_arg(1))
); aml_append(method, ifctx); } aml_append(VAR_0, method); pkg = VAR_1 <= 255 ? aml_package(VAR_1) :
aml_varpackage(VAR_1); for (VAR_4 = 0; VAR_4 < VAR_1; VAR_4++) { uint8_t b = test_bit(VAR_4, VAR_2->found_cpus) ? 0x01 : 0x00; aml_append(pkg, aml_int(b)); } aml_append(VAR_0, aml_name_decl(CPU_ON_BITMAP, pkg)); }