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)
commit5249b841aad2b830d27a36ef53c211f39af868f2
treed3cca50dc6ea767cc0b545f719b72fd63c1bf535
parent4745d9d1d6721ffb321ebafd3356a8b40a5b8b9d
libspawndomain: elf_allocate: remove wrong(?) vspace_lvaddr_to_genvaddr()

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
lib/spawndomain/arch/x86/spawn_arch.c