K 10 svn:author V 6 marcel K 8 svn:date V 27 2003-11-12T03:24:34.000000Z K 7 svn:log V 48 Remove ia64_highfp_load() now that it's unused. END