void nvdimm_acpi_hotplug(AcpiNVDIMMState *state)

{

    nvdimm_build_fit_buffer(&state->fit_buf);

}

void nvdimm_acpi_hotplug(AcpiNVDIMMState *state)

{

    nvdimm_build_fit_buffer(&state->fit_buf);

}

void FUNC_0(AcpiNVDIMMState *VAR_0)

{

    nvdimm_build_fit_buffer(&VAR_0->fit_buf);

}

void FUNC_0(AcpiNVDIMMState *VAR_0)
{ nvdimm_build_fit_buffer(&VAR_0->fit_buf); }