Searched refs:T57 (Results 1 – 1 of 1) sorted by relevance
62 T57 = 1.4912469681508012e-10; /* 0x147edbdba6f43a.0p-85 */ variable89 w * T57)))))))))))); in __kernel_tanl()