Searched refs:device_mem_size (Results 1 – 3 of 3) sorted by relevance
699 ram_addr_t *device_mem_size) in pc_get_device_memory_range() argument712 *device_mem_size = size; in pc_get_device_memory_range()915 ram_addr_t device_mem_size; in pc_memory_init() local931 pc_get_device_memory_range(pcms, &device_mem_base, &device_mem_size); in pc_memory_init()933 if (device_mem_base + device_mem_size < device_mem_size) { in pc_memory_init()938 machine_memory_devices_init(machine, device_mem_base, device_mem_size); in pc_memory_init()
1199 ram_addr_t device_mem_size = machine->maxram_size - machine->ram_size; in virt_init() local1213 machine_memory_devices_init(machine, base, device_mem_size); in virt_init()
2923 ram_addr_t device_mem_size = machine->maxram_size - machine->ram_size; in spapr_machine_init() local2945 machine_memory_devices_init(machine, device_mem_base, device_mem_size); in spapr_machine_init()