kgdb_nmicallback
static inline int kgdb_nmicallback(int cpu, void *regs) { return 1; }
int kgdb_nmicallback(int cpu, void *regs)