gdb_regs32        145 arch/x86/kernel/kgdb.c 	u32 *gdb_regs32 = (u32 *)gdb_regs;
gdb_regs32        163 arch/x86/kernel/kgdb.c 	gdb_regs32[GDB_PS]	= 0;
gdb_regs32        164 arch/x86/kernel/kgdb.c 	gdb_regs32[GDB_CS]	= __KERNEL_CS;
gdb_regs32        165 arch/x86/kernel/kgdb.c 	gdb_regs32[GDB_SS]	= __KERNEL_DS;