Searched refs:device_memory_base (Results 1 – 1 of 1) sorted by relevance
1811 hwaddr base, device_memory_base, device_memory_size, memtop; in virt_set_memmap() local1841 device_memory_base = in virt_set_memmap()1846 memtop = base = device_memory_base + ROUND_UP(device_memory_size, GiB); in virt_set_memmap()1852 if (base < device_memory_base) { in virt_set_memmap()1866 machine_memory_devices_init(ms, device_memory_base, device_memory_size); in virt_set_memmap()