tag	line	file	source code
get_long	154	kernel/ptrace.c	low = get_long(tsk,addr & 0xfffffffc);
get_long	155	kernel/ptrace.c	high = get_long(tsk,(addr+4) & 0xfffffffc);
get_long	172	kernel/ptrace.c	*result = get_long(tsk,addr);
get_long	188	kernel/ptrace.c	low = get_long(tsk,addr & 0xfffffffc);
get_long	189	kernel/ptrace.c	high = get_long(tsk,(addr+4) & 0xfffffffc);