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

                              GArray *table_data, BIOSLinker *linker)

{

    GArray *structures = nvdimm_build_device_structure(device_list);

    unsigned int header;



    acpi_add_table(table_offsets, table_data);



    /* NFIT header. */

    header = table_data->len;

    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,

                 (void *)(table_data->data + header), "NFIT",

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

    g_array_free(structures, true);

}

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

                              GArray *table_data, BIOSLinker *linker)

{

    GArray *structures = nvdimm_build_device_structure(device_list);

    unsigned int header;



    acpi_add_table(table_offsets, table_data);



    

    header = table_data->len;

    acpi_data_push(table_data, sizeof(NvdimmNfitHeader));

    

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



    build_header(linker, table_data,

                 (void *)(table_data->data + header), "NFIT",

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

    g_array_free(structures, true);

}

static void nvdimm_build_nfit(GSList *device_list, GArray *table_offsets,     GArray *structures = nvdimm_build_device_structure(device_list);     g_array_append_vals(table_data, structures->data, structures->len);                  sizeof(NvdimmNfitHeader) + structures->len, 1, NULL, NULL);     g_array_free(structures, true);
static void FUNC_0(GSList *VAR_0, GArray *VAR_1,

                              GArray *VAR_2, BIOSLinker *VAR_3)

{

    GArray *structures = nvdimm_build_device_structure(VAR_0);

    unsigned int VAR_4;



    acpi_add_table(VAR_1, VAR_2);



    

    VAR_4 = VAR_2->len;

    acpi_data_push(VAR_2, sizeof(NvdimmNfitHeader));

    

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



    build_header(VAR_3, VAR_2,

                 (void *)(VAR_2->data + VAR_4), "NFIT",

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

    g_array_free(structures, true);

}

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