bHigh             471 lib/libkern/softfloat-macros.h     bits32 aHigh, aLow, bHigh, bLow;
bHigh             477 lib/libkern/softfloat-macros.h     bHigh = b>>32;
bHigh             479 lib/libkern/softfloat-macros.h     zMiddleA = ( (bits64) aLow ) * bHigh;
bHigh             481 lib/libkern/softfloat-macros.h     z0 = ( (bits64) aHigh ) * bHigh;