aHigh             471 lib/libkern/softfloat-macros.h     bits32 aHigh, aLow, bHigh, bLow;
aHigh             475 lib/libkern/softfloat-macros.h     aHigh = a>>32;
aHigh             480 lib/libkern/softfloat-macros.h     zMiddleB = ( (bits64) aHigh ) * bLow;
aHigh             481 lib/libkern/softfloat-macros.h     z0 = ( (bits64) aHigh ) * bHigh;