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