tag	line	file	source code
push	98	kernel/FPU-emu/fpu_aux.c	{ reg_move(&st(FPU_rm), st_new_ptr); push(); }
push	104	kernel/FPU-emu/fpu_aux.c	push();
push	167	kernel/FPU-emu/fpu_trig.c	push();
push	184	kernel/FPU-emu/fpu_trig.c	push();
push	207	kernel/FPU-emu/fpu_trig.c	push();
push	218	kernel/FPU-emu/fpu_trig.c	push();
push	227	kernel/FPU-emu/fpu_trig.c	push();
push	240	kernel/FPU-emu/fpu_trig.c	push();
push	250	kernel/FPU-emu/fpu_trig.c	push();
push	449	kernel/FPU-emu/fpu_trig.c	push();
push	64	kernel/FPU-emu/reg_constant.c	push();
push	646	net/tcp/tcp.c	tcp_build_header(struct tcp_header *th, volatile struct sock *sk, int push)
push	652	net/tcp/tcp.c	th->psh = (push == 0) ? 1 : 0;