dbg_restore_debug_regs 1937 arch/x86/kernel/cpu/common.c 	dbg_restore_debug_regs();
dbg_restore_debug_regs 1996 arch/x86/kernel/cpu/common.c 	dbg_restore_debug_regs();