--- a/xen/arch/x86/hvm/vpic.c~	2009-02-24 10:59:27.000000000 +0100
+++ b/xen/arch/x86/hvm/vpic.c	2009-02-24 12:20:46.000000000 +0100
@@ -56,7 +56,7 @@ static int vpic_get_priority(struct hvm_
 
     /* prio = ffs(mask ROR vpic->priority_add); */
     asm ( "ror %%cl,%b1 ; bsf %1,%0"
-          : "=r" (prio) : "r" ((uint32_t)mask), "c" (vpic->priority_add) );
+          : "=r" (prio) : "q" ((uint32_t)mask), "c" (vpic->priority_add) );
     return prio;
 }