Searched refs:s3pio2 (Results 1 – 1 of 1) sorted by relevance
35 s3pio2 = 3*M_PI_2, /* 0x4012D97C, 0x7F3321D2 */ variable64 return -__kernel_cosdf(x - s3pio2); in sinf()66 return __kernel_cosdf(x + s3pio2); in sinf()