bitkeeper revision 1.1159.1.219 (416a9e3bO5_6f1e0AMMNVRk0kCNWpQ)

Bug fix, from code inspection.

MMUEXT_TRANSFER_PAGE error case would have inappropriately caused an
ASSERT, due to a "break" statement getting caught by a while loop, rather
than the intended switch statement.

BitKeeper/etc/logging_ok

@@ -30,6 +30,7 @@ kaf24@scramble.cl.cam.ac.uk
 kaf24@striker.cl.cam.ac.uk
 laudney@eclipse.(none)
 lynx@idefix.cl.cam.ac.uk
+mafetter@fleming.research
 maw48@labyrinth.cl.cam.ac.uk
 mjw@wray-m-3.hpl.hp.com
 mwilli2@equilibrium.research

xen/arch/x86/memory.c

@@ -1156,6 +1156,7 @@ static int do_extended_command(unsigned long ptr, unsigned long val)
                 : "0" (d), "1" (x), "c" (NULL), "b" (x) );
         } 
         while ( unlikely(nd != d) || unlikely(y != x) );
+	if (!okay) break;
 
         /*
          * Unlink from 'd'. At least one reference remains (now anonymous), so