Symbol: dbg_restore_debug_regs
arch/x86/kernel/cpu/common.c
2342
static void dbg_restore_debug_regs(void)
arch/x86/kernel/cpu/common.c
2348
#define dbg_restore_debug_regs()