fp_manthi 125 arch/i386/include/freebsd_machdep.h u_long fp_manthi; /* mantissa high (63:32) */ fp_manthi 69 arch/i386/include/npx.h u_long fp_manthi; /* mantissa high (63:32) */