Searched refs:gdb_regs32 (Results 1 – 1 of 1) sorted by relevance
145 u32 *gdb_regs32 = (u32 *)gdb_regs; in sleeping_thread_to_gdb_regs() local163 gdb_regs32[GDB_PS] = 0; in sleeping_thread_to_gdb_regs()164 gdb_regs32[GDB_CS] = __KERNEL_CS; in sleeping_thread_to_gdb_regs()165 gdb_regs32[GDB_SS] = __KERNEL_DS; in sleeping_thread_to_gdb_regs()