libspawndomain: elf_allocate: remove wrong(?) vspace_lvaddr_to_genvaddr()
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 15 Dec 2016 14:31:59 +0000 (15:31 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 15 Dec 2016 14:38:06 +0000 (15:38 +0100)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

lib/spawndomain/arch/x86/spawn_arch.c

index 3890c11..c3b4ac2 100644 (file)
@@ -135,8 +135,7 @@ static errval_t elf_allocate(void *state, genvaddr_t base, size_t size,
             .cnode = si->segcn,
             .slot = spawn_vspace_slot++,
         };
-        genvaddr_t genvaddr = vspace_lvaddr_to_genvaddr(offset);
-        err = memobj->f.fill(spawn_memobj, genvaddr, frame, sz);
+        err = memobj->f.fill(spawn_memobj, offset, frame, sz);
         if (err_is_fail(err)) {
             return err_push(err, LIB_ERR_MEMOBJ_FILL);
         }