tag	line	file	source code
push	100	drivers/FPU-emu/fpu_aux.c	{ reg_move(&st(FPU_rm), st_new_ptr); push(); }
push	106	drivers/FPU-emu/fpu_aux.c	push();
push	208	drivers/FPU-emu/fpu_trig.c	push();
push	216	drivers/FPU-emu/fpu_trig.c	push();
push	305	drivers/FPU-emu/fpu_trig.c	push();
push	355	drivers/FPU-emu/fpu_trig.c	push();
push	365	drivers/FPU-emu/fpu_trig.c	push();
push	370	drivers/FPU-emu/fpu_trig.c	push();
push	398	drivers/FPU-emu/fpu_trig.c	push();
push	410	drivers/FPU-emu/fpu_trig.c	push();
push	419	drivers/FPU-emu/fpu_trig.c	push();
push	428	drivers/FPU-emu/fpu_trig.c	push();
push	438	drivers/FPU-emu/fpu_trig.c	push();
push	693	drivers/FPU-emu/fpu_trig.c	push();
push	713	drivers/FPU-emu/fpu_trig.c	push();
push	723	drivers/FPU-emu/fpu_trig.c	push();
push	68	drivers/FPU-emu/reg_constant.c	push();
push	776	net/inet/tcp.c	tcp_build_header(struct tcphdr *th, struct sock *sk, int push)
push	782	net/inet/tcp.c	th->psh =(push == 0) ? 1 : 0;