static void nvdimm_build_nfit(GSList *device_list, GArray *table_offsets,

                              GArray *table_data, GArray *linker)

{

    GArray *structures = nvdimm_build_device_structure(device_list);

    void *header;



    acpi_add_table(table_offsets, table_data);



    /* NFIT header. */

    header = acpi_data_push(table_data, sizeof(NvdimmNfitHeader));

    /* NVDIMM device structures. */

    g_array_append_vals(table_data, structures->data, structures->len);



    build_header(linker, table_data, header, "NFIT",

                 sizeof(NvdimmNfitHeader) + structures->len, 1, NULL);

    g_array_free(structures, true);

}

static void nvdimm_build_nfit(GSList *device_list, GArray *table_offsets,

                              GArray *table_data, GArray *linker)

{

    GArray *structures = nvdimm_build_device_structure(device_list);

    void *header;



    acpi_add_table(table_offsets, table_data);



    

    header = acpi_data_push(table_data, sizeof(NvdimmNfitHeader));

    

    g_array_append_vals(table_data, structures->data, structures->len);



    build_header(linker, table_data, header, "NFIT",

                 sizeof(NvdimmNfitHeader) + structures->len, 1, NULL);

    g_array_free(structures, true);

}

    void *header;     header = acpi_data_push(table_data, sizeof(NvdimmNfitHeader));     build_header(linker, table_data, header, "NFIT",
static void FUNC_0(GSList *VAR_0, GArray *VAR_1,

                              GArray *VAR_2, GArray *VAR_3)

{

    GArray *structures = nvdimm_build_device_structure(VAR_0);

    void *VAR_4;



    acpi_add_table(VAR_1, VAR_2);



    

    VAR_4 = acpi_data_push(VAR_2, sizeof(NvdimmNfitHeader));

    

    g_array_append_vals(VAR_2, structures->data, structures->len);



    build_header(VAR_3, VAR_2, VAR_4, "NFIT",

                 sizeof(NvdimmNfitHeader) + structures->len, 1, NULL);

    g_array_free(structures, true);

}

static void FUNC_0(GSList *VAR_0, GArray *VAR_1,
GArray *VAR_2, GArray *VAR_3)
{ GArray *structures = nvdimm_build_device_structure(VAR_0); void *VAR_4; acpi_add_table(VAR_1, VAR_2); VAR_4 = acpi_data_push(VAR_2, sizeof(NvdimmNfitHeader)); g_array_append_vals(VAR_2, structures->data, structures->len); build_header(VAR_3, VAR_2, VAR_4, "NFIT",
sizeof(NvdimmNfitHeader) + structures->len, 1, NULL); g_array_free(structures, true); }