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	184	drivers/FPU-emu/fpu_trig.c	push();
push	192	drivers/FPU-emu/fpu_trig.c	push();
push	281	drivers/FPU-emu/fpu_trig.c	push();
push	331	drivers/FPU-emu/fpu_trig.c	push();
push	341	drivers/FPU-emu/fpu_trig.c	push();
push	346	drivers/FPU-emu/fpu_trig.c	push();
push	374	drivers/FPU-emu/fpu_trig.c	push();
push	386	drivers/FPU-emu/fpu_trig.c	push();
push	395	drivers/FPU-emu/fpu_trig.c	push();
push	404	drivers/FPU-emu/fpu_trig.c	push();
push	414	drivers/FPU-emu/fpu_trig.c	push();
push	669	drivers/FPU-emu/fpu_trig.c	push();
push	689	drivers/FPU-emu/fpu_trig.c	push();
push	699	drivers/FPU-emu/fpu_trig.c	push();
push	68	drivers/FPU-emu/reg_constant.c	push();
push	671	net/inet/tcp.c	tcp_build_header(struct tcphdr *th, struct sock *sk, int push)
push	677	net/inet/tcp.c	th->psh =(push == 0) ? 1 : 0;