tag	line	file	source code
push	108	drivers/FPU-emu/fpu_aux.c	{ reg_move(&st(FPU_rm), st_new_ptr); push(); }
push	208	drivers/FPU-emu/fpu_trig.c	push();
push	216	drivers/FPU-emu/fpu_trig.c	push();
push	306	drivers/FPU-emu/fpu_trig.c	push();
push	356	drivers/FPU-emu/fpu_trig.c	push();
push	366	drivers/FPU-emu/fpu_trig.c	push();
push	371	drivers/FPU-emu/fpu_trig.c	push();
push	400	drivers/FPU-emu/fpu_trig.c	push();
push	412	drivers/FPU-emu/fpu_trig.c	push();
push	421	drivers/FPU-emu/fpu_trig.c	push();
push	430	drivers/FPU-emu/fpu_trig.c	push();
push	440	drivers/FPU-emu/fpu_trig.c	push();
push	700	drivers/FPU-emu/fpu_trig.c	push();
push	720	drivers/FPU-emu/fpu_trig.c	push();
push	730	drivers/FPU-emu/fpu_trig.c	push();
push	68	drivers/FPU-emu/reg_constant.c	push();
push	742	net/inet/tcp.c	tcp_build_header(struct tcphdr *th, struct sock *sk, int push)
push	748	net/inet/tcp.c	th->psh =(push == 0) ? 1 : 0;