ddw_memory_hotplug_max
int max_ram_len = order_base_2(ddw_memory_hotplug_max());
ret = walk_system_ram_range(0, ddw_memory_hotplug_max() >> PAGE_SHIFT,
ddw_memory_hotplug_max()) {
ddw_memory_hotplug_max()) {