tag	line	file	source code
put_long	213	kernel/ptrace.c	put_long(tsk,addr & 0xfffffffc,low);
put_long	214	kernel/ptrace.c	put_long(tsk,(addr+4) & 0xfffffffc,high);
put_long	216	kernel/ptrace.c	put_long(tsk,addr,data);