See the attachment for the corrected patch... .-)
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) &&