GCC's optimiser seems to screw up if this is left static...

src/arch/i386/core/udivmod64.c

@@ -273,7 +273,7 @@ static inline void udivmod64_lo ( const struct uint64 *x,
 		  : "g" ( d->l ), "0" ( x->l ), "1" ( r_dash ) );
 }
 
-static void udivmod64 ( const struct uint64 *x,
+void udivmod64 ( const struct uint64 *x,
 			const struct uint64 *d,
 			struct uint64 *q,
 			struct uint64 *r ) {