static bool acpi_has_nvdimm(void)

{

    PCMachineState *pcms = PC_MACHINE(qdev_get_machine());



    return pcms->nvdimm;

}

static bool acpi_has_nvdimm(void)

{

    PCMachineState *pcms = PC_MACHINE(qdev_get_machine());



    return pcms->nvdimm;

}

static bool FUNC_0(void)

{

    PCMachineState *pcms = PC_MACHINE(qdev_get_machine());



    return pcms->nvdimm;

}

static bool FUNC_0(void)
{ PCMachineState *pcms = PC_MACHINE(qdev_get_machine()); return pcms->nvdimm; }