GDB_R13            97 arch/x86/kernel/kgdb.c 	gdb_regs[GDB_R13]	= regs->r13;
GDB_R13           150 arch/x86/kernel/kgdb.c 	gdb_regs[GDB_R13]	= 0;
GDB_R13           189 arch/x86/kernel/kgdb.c 	regs->r13		= gdb_regs[GDB_R13];