dbg_restore_debug_regs 1801 arch/x86/kernel/cpu/common.c static void dbg_restore_debug_regs(void) dbg_restore_debug_regs 1807 arch/x86/kernel/cpu/common.c #define dbg_restore_debug_regs()