Re: Overmap from sigma0 to roottask

Norman Feske <[email protected]> Wed, 04 Aug 2010 10:51:12 +0200

Newsgroups	gmane.comp.micro-kernel.l4.l4ka.general
Message-ID	<[email protected]>

See the attachment for the corrected patch... .-)

roottask_overmap.patch (text/x-patch, 561 B)

diff -r 57124b75c67c kernel/src/generic/linear_ptab_walker.cc
--- a/kernel/src/generic/linear_ptab_walker.cc	Thu Jul 15 09:38:50 2010 +0200
+++ b/kernel/src/generic/linear_ptab_walker.cc	Wed Aug 04 10:48:26 2010 +0200
@@ -530,7 +530,7 @@
 	     * We might have invalidated the source mapping during the
 	     * unmap operation above.  If so, we have to skip it.
 	     */
-	    if (! fpg->is_valid (this, f_size))
+	    if (!fpg->is_valid (this, f_size) && !is_sigma0_space(this))
 		goto Next_receiver_entry;
 	}
 	else if (tpg->is_valid (t_space, t_size) &&