tag	line	file	source code
reg_b	417	arch/alpha/kernel/ptrace.c	int displ, i, res, reg_b, nsaved = 0;
reg_b	442	arch/alpha/kernel/ptrace.c	reg_b = (insn >> 16) & 0x1f;
reg_b	443	arch/alpha/kernel/ptrace.c	child->debugreg[nsaved++] = get_reg(child, reg_b);