tag	line	file	source code
write_int	456	arch/alpha/kernel/ptrace.c	res = write_int(child, child->debugreg[i], BREAKINST);
write_int	480	arch/alpha/kernel/ptrace.c	write_int(child, child->debugreg[i], child->debugreg[i + 2]);