tag	line	file	source code
push	108	drivers/FPU-emu/fpu_aux.c	{ reg_move(&st(FPU_rm), st_new_ptr); push(); }
push	211	drivers/FPU-emu/fpu_trig.c	push();
push	219	drivers/FPU-emu/fpu_trig.c	push();
push	293	drivers/FPU-emu/fpu_trig.c	push();
push	340	drivers/FPU-emu/fpu_trig.c	push();
push	350	drivers/FPU-emu/fpu_trig.c	push();
push	355	drivers/FPU-emu/fpu_trig.c	push();
push	384	drivers/FPU-emu/fpu_trig.c	push();
push	396	drivers/FPU-emu/fpu_trig.c	push();
push	405	drivers/FPU-emu/fpu_trig.c	push();
push	414	drivers/FPU-emu/fpu_trig.c	push();
push	424	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	928	net/inet/tcp.c	extern __inline int tcp_build_header(struct tcphdr *th, struct sock *sk, int push)
push	934	net/inet/tcp.c	th->psh =(push == 0) ? 1 : 0;