elfcorehdr_fill_device_ram_ptload_elf64
elfcorehdr_fill_device_ram_ptload_elf64(phdr, cur->paddr, cur->size);
void elfcorehdr_fill_device_ram_ptload_elf64(Elf64_Phdr *phdr,