tag	line	file	source code
DBG_BPT	28	arch/alpha/kernel/ptrace.c	int debug_mask = DBG_BPT;
DBG_BPT	494	arch/alpha/kernel/ptrace.c	DBG(DBG_BPT, ("execing branch\n"));
DBG_BPT	508	arch/alpha/kernel/ptrace.c	DBG(DBG_BPT, ("execing jump\n"));
DBG_BPT	511	arch/alpha/kernel/ptrace.c	DBG(DBG_BPT, ("execing normal insn\n"));
DBG_BPT	520	arch/alpha/kernel/ptrace.c	DBG(DBG_BPT, ("    -> next_pc=%lx\n", child->debugreg[i]));