void pc_dimm_memory_unplug(DeviceState *dev, MemoryHotplugState *hpms,

                           MemoryRegion *mr)

{

    PCDIMMDevice *dimm = PC_DIMM(dev);



    numa_unset_mem_node_id(dimm->addr, memory_region_size(mr), dimm->node);

    memory_region_del_subregion(&hpms->mr, mr);

    vmstate_unregister_ram(mr, dev);

}

void pc_dimm_memory_unplug(DeviceState *dev, MemoryHotplugState *hpms,

                           MemoryRegion *mr)

{

    PCDIMMDevice *dimm = PC_DIMM(dev);



    numa_unset_mem_node_id(dimm->addr, memory_region_size(mr), dimm->node);

    memory_region_del_subregion(&hpms->mr, mr);

    vmstate_unregister_ram(mr, dev);

}

void FUNC_0(DeviceState *VAR_0, MemoryHotplugState *VAR_1,

                           MemoryRegion *VAR_2)

{

    PCDIMMDevice *dimm = PC_DIMM(VAR_0);



    numa_unset_mem_node_id(dimm->addr, memory_region_size(VAR_2), dimm->node);

    memory_region_del_subregion(&VAR_1->VAR_2, VAR_2);

    vmstate_unregister_ram(VAR_2, VAR_0);

}

void FUNC_0(DeviceState *VAR_0, MemoryHotplugState *VAR_1,
MemoryRegion *VAR_2)
{ PCDIMMDevice *dimm = PC_DIMM(VAR_0); numa_unset_mem_node_id(dimm->addr, memory_region_size(VAR_2), dimm->node); memory_region_del_subregion(&VAR_1->VAR_2, VAR_2); vmstate_unregister_ram(VAR_2, VAR_0); }