Searched refs:device_memory_size (Results 1 – 1 of 1) sorted by relevance
1769 hwaddr base, device_memory_base, device_memory_size, memtop; in virt_set_memmap() local1801 device_memory_size = ms->maxram_size - ms->ram_size + ms->ram_slots * GiB; in virt_set_memmap()1804 memtop = base = device_memory_base + ROUND_UP(device_memory_size, GiB); in virt_set_memmap()1823 if (device_memory_size > 0) { in virt_set_memmap()1824 machine_memory_devices_init(ms, device_memory_base, device_memory_size); in virt_set_memmap()