denormal_addf     542 arch/sh/kernel/cpu/sh2a/fpu.c 				hx = denormal_addf(hx, hy);
denormal_addf     544 arch/sh/kernel/cpu/sh2a/fpu.c 				hx = denormal_addf(hx, hy ^ 0x80000000);