df_debug           76 arch/x86/kernel/doublefault.c void df_debug(struct pt_regs *regs, long error_code) {}
df_debug           80 arch/x86/kernel/doublefault.c void df_debug(struct pt_regs *regs, long error_code)