Searched refs:device_memory_base (Results 1 – 1 of 1) sorted by relevance
1890 hwaddr base, device_memory_base, device_memory_size, memtop; in virt_set_memmap() local1920 device_memory_base = in virt_set_memmap()1925 memtop = base = device_memory_base + ROUND_UP(device_memory_size, GiB); in virt_set_memmap()1931 if (base < device_memory_base) { in virt_set_memmap()1945 machine_memory_devices_init(ms, device_memory_base, device_memory_size); in virt_set_memmap()