Searched refs:s1pio2 (Results 1 – 1 of 1) sorted by relevance
33 s1pio2 = 1*M_PI_2, /* 0x3FF921FB, 0x54442D18 */ variable55 return __kernel_cosdf(x - s1pio2); in sinf()57 return -__kernel_cosdf(x + s1pio2); in sinf()