GDB_PS            157 arch/x86/kernel/kgdb.c 	gdb_regs[GDB_PS]	= 0;
GDB_PS            163 arch/x86/kernel/kgdb.c 	gdb_regs32[GDB_PS]	= 0;