tag	line	file	source code
DBG_BPT	30	arch/alpha/kernel/ptrace.c	int debug_mask = DBG_BPT;
DBG_BPT	439	arch/alpha/kernel/ptrace.c	DBG(DBG_BPT, ("execing branch\n"));
DBG_BPT	443	arch/alpha/kernel/ptrace.c	DBG(DBG_BPT, ("execing jump\n"));
DBG_BPT	446	arch/alpha/kernel/ptrace.c	DBG(DBG_BPT, ("execing normal insn\n"));
DBG_BPT	455	arch/alpha/kernel/ptrace.c	DBG(DBG_BPT, ("    -> next_pc=%lx\n", child->debugreg[i]));