--- a/60031_xen3-patch-2.6.25.patch1 2009-10-16 10:57:31.000000000 +0200 +++ b/60031_xen3-patch-2.6.25.patch1 2009-10-22 18:51:39.000000000 +0200 @@ -26944,7 +26944,7 @@ + asm(LOCK_PREFIX "xaddl %0, %2\n\t" \ + "shldl $16, %0, %3\n\t" \ + "cmpw %w3, %w0\n\t" \ -+ "sete %1" ++ "sete %1" \ + : "=&r" (token), "=qm" (free), "+m" (lock->slock), \ + "=&g" (tmp) \ + : "0" (0x00010000) \