void nvdimm_build_acpi(GArray *table_offsets, GArray *table_data,

                       BIOSLinker *linker, AcpiNVDIMMState *state,

                       uint32_t ram_slots)

{

    nvdimm_build_nfit(state, table_offsets, table_data, linker);



    /*

     * NVDIMM device is allowed to be plugged only if there is available

     * slot.

     */

    if (ram_slots) {

        nvdimm_build_ssdt(table_offsets, table_data, linker, state->dsm_mem,

                          ram_slots);

    }

}

void nvdimm_build_acpi(GArray *table_offsets, GArray *table_data,

                       BIOSLinker *linker, AcpiNVDIMMState *state,

                       uint32_t ram_slots)

{

    nvdimm_build_nfit(state, table_offsets, table_data, linker);



    







    if (ram_slots) {

        nvdimm_build_ssdt(table_offsets, table_data, linker, state->dsm_mem,

                          ram_slots);

    }

}

void FUNC_0(GArray *VAR_0, GArray *VAR_1,

                       BIOSLinker *VAR_2, AcpiNVDIMMState *VAR_3,

                       uint32_t VAR_4)

{

    nvdimm_build_nfit(VAR_3, VAR_0, VAR_1, VAR_2);



    







    if (VAR_4) {

        nvdimm_build_ssdt(VAR_0, VAR_1, VAR_2, VAR_3->dsm_mem,

                          VAR_4);

    }

}

void FUNC_0(GArray *VAR_0, GArray *VAR_1,
BIOSLinker *VAR_2, AcpiNVDIMMState *VAR_3,
uint32_t VAR_4)
{ nvdimm_build_nfit(VAR_3, VAR_0, VAR_1, VAR_2); if (VAR_4) { nvdimm_build_ssdt(VAR_0, VAR_1, VAR_2, VAR_3->dsm_mem,
VAR_4); } }