tag	line	file	source code
st0	21	drivers/FPU-emu/fpu_trig.c	static void rem_kernel(unsigned long long st0, unsigned long long *y,
st0	715	drivers/FPU-emu/fpu_trig.c	static void rem_kernel(unsigned long long st0, unsigned long long *y,
st0	721	drivers/FPU-emu/fpu_trig.c	x = st0 << n;