K 10 svn:author V 6 andrew K 8 svn:date V 27 2013-10-20T14:52:14.206913Z K 7 svn:log V 179 The ARM EABI Run-time ABI defines the __aeabi_* floating-point functions to pass their values in the integer registers. Update the hard-float version of the functions to do this. END