Searched refs:device_mem_base (Results 1 – 2 of 2) sorted by relevance
923 hwaddr device_mem_base; in pc_memory_init() 938 pc_get_device_memory_range(pcms, &device_mem_base, &device_mem_size); in pc_memory_init() 940 if (device_mem_base + device_mem_size < device_mem_size) { in pc_memory_init() 945 machine_memory_devices_init(machine, device_mem_base, device_mem_size); in pc_memory_init() 918 hwaddr device_mem_base; pc_memory_init() local
2985 hwaddr device_mem_base; in spapr_machine_init() 3005 device_mem_base = ROUND_UP(machine->ram_size, SPAPR_DEVICE_MEM_ALIGN); in spapr_machine_init() 3006 machine_memory_devices_init(machine, device_mem_base, device_mem_size); in spapr_machine_init() 2960 hwaddr device_mem_base; spapr_machine_init() local