Fix: conversion lvaddr to genvaddr release2014-08-29
authorStefan Kaestle <stefan.kaestle@inf.ethz.ch>
Fri, 29 Aug 2014 11:18:45 +0000 (13:18 +0200)
committerStefan Kaestle <stefan.kaestle@inf.ethz.ch>
Fri, 29 Aug 2014 11:18:45 +0000 (13:18 +0200)
commitaddac266cb8f998008633caeb989027a8aea7a72
tree11c247a274f83b3d584b79f3ea1b75c39135e0a3
parent986938b68100726b1d001c569bc5e0b971bff8e8
Fix: conversion lvaddr to genvaddr
lib/spawndomain/arch/x86/spawn_arch.c