tag	line	file	source code
read_int	422	arch/alpha/kernel/ptrace.c	res = read_int(child, pc, &insn);
read_int	452	arch/alpha/kernel/ptrace.c	res = read_int(child, child->debugreg[i], &insn);