694     MachineState *machine = MACHINE(pcms);  in pc_get_device_memory_range()  local
698     size = machine->maxram_size - machine->ram_size;  in pc_get_device_memory_range()
702     size += (1 * GiB) * machine->ram_slots;  in pc_get_device_memory_range()
824     MachineState *machine = MACHINE(pcms);  in pc_memory_init()  local
825     MachineClass *mc = MACHINE_GET_CLASS(machine);  in pc_memory_init()
832     assert(machine->ram_size == x86ms->below_4g_mem_size +  in pc_memory_init()
835     linux_boot = (machine->kernel_filename != NULL);  in pc_memory_init()
876     memory_region_init_alias(ram_below_4g, NULL, "ram-below-4g", machine->ram,  in pc_memory_init()
883                                  machine->ram,  in pc_memory_init()
897         (machine->ram_slots ||  in pc_memory_init()
898          (machine->maxram_size > machine->ram_size))) {  in pc_memory_init()
907         (machine->ram_size < machine->maxram_size)) {  in pc_memory_init()
911         if (machine->ram_slots > ACPI_MAX_RAM_SLOTS) {  in pc_memory_init()
913                          machine->ram_slots);  in pc_memory_init()
917         if (QEMU_ALIGN_UP(machine->maxram_size,  in pc_memory_init()
918                           TARGET_PAGE_SIZE) != machine->maxram_size) {  in pc_memory_init()
928                          machine->maxram_size);  in pc_memory_init()
931         machine_memory_devices_init(machine, device_mem_base, device_mem_size);  in pc_memory_init()
939         memory_region_init(mr, OBJECT(machine), "cxl_host_reg", cxl_size);  in pc_memory_init()
951                 memory_region_init_io(&fw->mr, OBJECT(machine), &cfmws_ops, fw,  in pc_memory_init()
964     if (machine_require_guest_memfd(machine)) {  in pc_memory_init()
979     fw_cfg = fw_cfg_arch_create(machine,  in pc_memory_init()
984     if (machine->device_memory) {  in pc_memory_init()
986         uint64_t res_mem_end = machine->device_memory->base;  in pc_memory_init()
989             res_mem_end += memory_region_size(&machine->device_memory->mr);  in pc_memory_init()
1460 static HotplugHandler *pc_get_hotplug_handler(MachineState *machine,  in pc_get_hotplug_handler()  argument
1469         return HOTPLUG_HANDLER(machine);  in pc_get_hotplug_handler()
1709 static void pc_machine_reset(MachineState *machine, ShutdownCause reason)  in pc_machine_reset()  argument
1726 static void pc_machine_wakeup(MachineState *machine)  in pc_machine_wakeup()  argument
1729     pc_machine_reset(machine, SHUTDOWN_CAUSE_NONE);  in pc_machine_wakeup()