Searched refs:device_memory_size (Results 1 – 1 of 1) sorted by relevance
1837 hwaddr base, device_memory_base, device_memory_size, memtop; in virt_set_memmap() local1869 device_memory_size = ms->maxram_size - ms->ram_size + ms->ram_slots * GiB; in virt_set_memmap()1872 memtop = base = device_memory_base + ROUND_UP(device_memory_size, GiB); in virt_set_memmap()1891 if (device_memory_size > 0) { in virt_set_memmap()1892 machine_memory_devices_init(ms, device_memory_base, device_memory_size); in virt_set_memmap()