Function under review:
static void unpack_elf_to_paddr(void *elf, paddr_t dest_paddr)
/* Parse size/length headers. */
dest_vaddr = elf_getProgramHeaderVaddr(elf, i);
data_size = elf_getProgramHeaderFileSize(elf, i);
data_offset = elf_getProgramHeaderOffset(elf, i);
/* Load data into memory. */
memcpy((char *)dest_vaddr + phys_virt_offset,
(char *)elf + data_offset, data_size);
printf("loaded data into memory \n"); -----> Stuck Here !
}
}