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