217 static void write_elf64_load(DumpState *s, MemoryMapping *memory_mapping,  in write_elf64_load()  argument
227     phdr.p_paddr = cpu_to_dump64(s, memory_mapping->phys_addr);  in write_elf64_load()
229     phdr.p_memsz = cpu_to_dump64(s, memory_mapping->length);  in write_elf64_load()
230     phdr.p_vaddr = cpu_to_dump64(s, memory_mapping->virt_addr) ?: phdr.p_paddr;  in write_elf64_load()
232     assert(memory_mapping->length >= filesz);  in write_elf64_load()
241 static void write_elf32_load(DumpState *s, MemoryMapping *memory_mapping,  in write_elf32_load()  argument
251     phdr.p_paddr = cpu_to_dump32(s, memory_mapping->phys_addr);  in write_elf32_load()
253     phdr.p_memsz = cpu_to_dump32(s, memory_mapping->length);  in write_elf32_load()
255         cpu_to_dump32(s, memory_mapping->virt_addr) ?: phdr.p_paddr;  in write_elf32_load()
257     assert(memory_mapping->length >= filesz);  in write_elf32_load()
623     MemoryMapping *memory_mapping;  in write_elf_phdr_loads()  local
626     QTAILQ_FOREACH(memory_mapping, &s->list.head, next) {  in write_elf_phdr_loads()
627         get_offset_range(memory_mapping->phys_addr,  in write_elf_phdr_loads()
628                          memory_mapping->length,  in write_elf_phdr_loads()
631             write_elf64_load(s, memory_mapping, phdr_index++, offset,  in write_elf_phdr_loads()
634             write_elf32_load(s, memory_mapping, phdr_index++, offset,  in write_elf_phdr_loads()