static void test_acpi_tables(test_data *data)

{

    int tables_nr = data->rsdt_tables_nr - 1; /* fadt is first */

    int i;



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

        AcpiSdtTable ssdt_table;

        uint32_t addr;



        addr = le32_to_cpu(data->rsdt_tables_addr[i + 1]); /* fadt is first */

        test_dst_table(&ssdt_table, addr);

        g_array_append_val(data->tables, ssdt_table);

    }

}

static void test_acpi_tables(test_data *data)

{

    int tables_nr = data->rsdt_tables_nr - 1; 

    int i;



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

        AcpiSdtTable ssdt_table;

        uint32_t addr;



        addr = le32_to_cpu(data->rsdt_tables_addr[i + 1]); 

        test_dst_table(&ssdt_table, addr);

        g_array_append_val(data->tables, ssdt_table);

    }

}

static void FUNC_0(test_data *VAR_0)

{

    int VAR_1 = VAR_0->rsdt_tables_nr - 1; 

    int VAR_2;



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

        AcpiSdtTable ssdt_table;

        uint32_t addr;



        addr = le32_to_cpu(VAR_0->rsdt_tables_addr[VAR_2 + 1]); 

        test_dst_table(&ssdt_table, addr);

        g_array_append_val(VAR_0->tables, ssdt_table);

    }

}

static void FUNC_0(test_data *VAR_0)
{ int VAR_1 = VAR_0->rsdt_tables_nr - 1; int VAR_2; for (VAR_2 = 0; VAR_2 < VAR_1; VAR_2++) { AcpiSdtTable ssdt_table; uint32_t addr; addr = le32_to_cpu(VAR_0->rsdt_tables_addr[VAR_2 + 1]); test_dst_table(&ssdt_table, addr); g_array_append_val(VAR_0->tables, ssdt_table); } }