z |= (mh << 32 <= remh) ? 0xffffffff : remh / mh; 
if (mh << 32 <= remh) { z |= 0xffffffff; } else { do_div(remh, mh); z |= remh; } 
static inline u64 vfp_estimate_div128to64(u64 nh, u64 nl, u64 m){	u64 mh, ml, remh, reml, termh, terml, z;	if (nh >= m)		return ~0ULL;	mh = m >> 32;	z = (mh << 32 <= nh) ? 0xffffffff00000000ULL : (nh / mh) << 32;	mul64to128(&termh, &terml, m, z);	sub128(&remh, &reml, nh, nl, termh, terml);	ml = m << 32;	while ((s64)remh < 0) {		z -= 0x100000000ULL;		add128(&remh, &reml, remh, reml, mh, ml);	}	remh = (remh << 32) | (reml >> 32);	z |= (mh << 32 <= remh) ? 0xffffffff : remh / mh;	return z;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/438a76167959061e371025f727fabec2ad9e70a7/vfp.h/buggy/arch/arm/vfp/vfp.h