Symbol: kgdb_nmi_handler