build_fadt(GArray *table_data, GArray *linker, AcpiPmInfo *pm,

           unsigned facs, unsigned dsdt)

{

    AcpiFadtDescriptorRev1 *fadt = acpi_data_push(table_data, sizeof(*fadt));



    fadt->firmware_ctrl = cpu_to_le32(facs);

    /* FACS address to be filled by Guest linker */

    bios_linker_loader_add_pointer(linker, ACPI_BUILD_TABLE_FILE,

                                   ACPI_BUILD_TABLE_FILE,

                                   table_data, &fadt->firmware_ctrl,

                                   sizeof fadt->firmware_ctrl);



    fadt->dsdt = cpu_to_le32(dsdt);

    /* DSDT address to be filled by Guest linker */

    bios_linker_loader_add_pointer(linker, ACPI_BUILD_TABLE_FILE,

                                   ACPI_BUILD_TABLE_FILE,

                                   table_data, &fadt->dsdt,

                                   sizeof fadt->dsdt);



    fadt_setup(fadt, pm);



    build_header(linker, table_data,

                 (void *)fadt, "FACP", sizeof(*fadt), 1, NULL);

}

build_fadt(GArray *table_data, GArray *linker, AcpiPmInfo *pm,

           unsigned facs, unsigned dsdt)

{

    AcpiFadtDescriptorRev1 *fadt = acpi_data_push(table_data, sizeof(*fadt));



    fadt->firmware_ctrl = cpu_to_le32(facs);

    

    bios_linker_loader_add_pointer(linker, ACPI_BUILD_TABLE_FILE,

                                   ACPI_BUILD_TABLE_FILE,

                                   table_data, &fadt->firmware_ctrl,

                                   sizeof fadt->firmware_ctrl);



    fadt->dsdt = cpu_to_le32(dsdt);

    

    bios_linker_loader_add_pointer(linker, ACPI_BUILD_TABLE_FILE,

                                   ACPI_BUILD_TABLE_FILE,

                                   table_data, &fadt->dsdt,

                                   sizeof fadt->dsdt);



    fadt_setup(fadt, pm);



    build_header(linker, table_data,

                 (void *)fadt, "FACP", sizeof(*fadt), 1, NULL);

}

FUNC_0(GArray *VAR_0, GArray *VAR_1, AcpiPmInfo *VAR_2,

           unsigned VAR_3, unsigned VAR_4)

{

    AcpiFadtDescriptorRev1 *fadt = acpi_data_push(VAR_0, sizeof(*fadt));



    fadt->firmware_ctrl = cpu_to_le32(VAR_3);

    

    bios_linker_loader_add_pointer(VAR_1, ACPI_BUILD_TABLE_FILE,

                                   ACPI_BUILD_TABLE_FILE,

                                   VAR_0, &fadt->firmware_ctrl,

                                   sizeof fadt->firmware_ctrl);



    fadt->VAR_4 = cpu_to_le32(VAR_4);

    

    bios_linker_loader_add_pointer(VAR_1, ACPI_BUILD_TABLE_FILE,

                                   ACPI_BUILD_TABLE_FILE,

                                   VAR_0, &fadt->VAR_4,

                                   sizeof fadt->VAR_4);



    fadt_setup(fadt, VAR_2);



    build_header(VAR_1, VAR_0,

                 (void *)fadt, "FACP", sizeof(*fadt), 1, NULL);

}

FUNC_0(GArray *VAR_0, GArray *VAR_1, AcpiPmInfo *VAR_2,
unsigned VAR_3, unsigned VAR_4)
{ AcpiFadtDescriptorRev1 *fadt = acpi_data_push(VAR_0, sizeof(*fadt)); fadt->firmware_ctrl = cpu_to_le32(VAR_3); bios_linker_loader_add_pointer(VAR_1, ACPI_BUILD_TABLE_FILE,
ACPI_BUILD_TABLE_FILE,
VAR_0, &fadt->firmware_ctrl,
sizeof fadt->firmware_ctrl); fadt->VAR_4 = cpu_to_le32(VAR_4); bios_linker_loader_add_pointer(VAR_1, ACPI_BUILD_TABLE_FILE,
ACPI_BUILD_TABLE_FILE,
VAR_0, &fadt->VAR_4,
sizeof fadt->VAR_4); fadt_setup(fadt, VAR_2); build_header(VAR_1, VAR_0,
(void *)fadt, "FACP", sizeof(*fadt), 1, NULL); }