void nvdimm_build_acpi(GArray *table_offsets, GArray *table_data,

                       GArray *linker)

{

    GSList *device_list;



    /* no NVDIMM device is plugged. */

    device_list = nvdimm_get_plugged_device_list();

    if (!device_list) {

        return;

    }

    nvdimm_build_nfit(device_list, table_offsets, table_data, linker);

    nvdimm_build_ssdt(device_list, table_offsets, table_data, linker);

    g_slist_free(device_list);

}

void nvdimm_build_acpi(GArray *table_offsets, GArray *table_data,

                       GArray *linker)

{

    GSList *device_list;



    

    device_list = nvdimm_get_plugged_device_list();

    if (!device_list) {

        return;

    }

    nvdimm_build_nfit(device_list, table_offsets, table_data, linker);

    nvdimm_build_ssdt(device_list, table_offsets, table_data, linker);

    g_slist_free(device_list);

}

void FUNC_0(GArray *VAR_0, GArray *VAR_1,

                       GArray *VAR_2)

{

    GSList *device_list;



    

    device_list = nvdimm_get_plugged_device_list();

    if (!device_list) {

        return;

    }

    nvdimm_build_nfit(device_list, VAR_0, VAR_1, VAR_2);

    nvdimm_build_ssdt(device_list, VAR_0, VAR_1, VAR_2);

    g_slist_free(device_list);

}

void FUNC_0(GArray *VAR_0, GArray *VAR_1,
GArray *VAR_2)
{ GSList *device_list; device_list = nvdimm_get_plugged_device_list(); if (!device_list) { return; } nvdimm_build_nfit(device_list, VAR_0, VAR_1, VAR_2); nvdimm_build_ssdt(device_list, VAR_0, VAR_1, VAR_2); g_slist_free(device_list); }