GDB_R12            96 arch/x86/kernel/kgdb.c 	gdb_regs[GDB_R12]	= regs->r12;
GDB_R12           149 arch/x86/kernel/kgdb.c 	gdb_regs[GDB_R12]	= 0;
GDB_R12           188 arch/x86/kernel/kgdb.c 	regs->r12		= gdb_regs[GDB_R12];