459 int kdb_set(int argc, const char **argv)  in kdb_set()
543 int kdbgetaddrarg(int argc, const char **argv, int *nextarg,  in kdbgetaddrarg()
751 static int kdb_defcmd(int argc, const char **argv)  in kdb_defcmd()
833 static int kdb_exec_defcmd(int argc, const char **argv)  in kdb_exec_defcmd()
970 	static int argc;  in kdb_parse()  local
1165 static int kdb_reboot(int argc, const char **argv)  in kdb_reboot()
1594 static int kdb_md(int argc, const char **argv)  in kdb_md()
1792 static int kdb_mm(int argc, const char **argv)  in kdb_mm()
1835 static int kdb_go(int argc, const char **argv)  in kdb_go()
1880 static int kdb_rd(int argc, const char **argv)  in kdb_rd()
1950 static int kdb_rm(int argc, const char **argv)  in kdb_rm()
2017 static int kdb_sr(int argc, const char **argv)  in kdb_sr()
2042 static int kdb_ef(int argc, const char **argv)  in kdb_ef()
2065 static int kdb_env(int argc, const char **argv)  in kdb_env()
2082 static int kdb_dmesg(int argc, const char **argv)  in kdb_dmesg()
2169 static int kdb_disable_nmi(int argc, const char *argv[])  in kdb_disable_nmi()
2242 static int kdb_cpu(int argc, const char **argv)  in kdb_cpu()
2338 static int kdb_ps(int argc, const char **argv)  in kdb_ps()
2375 static int kdb_pid(int argc, const char **argv)  in kdb_pid()
2407 static int kdb_kgdb(int argc, const char **argv)  in kdb_kgdb()
2415 static int kdb_help(int argc, const char **argv)  in kdb_help()
2439 static int kdb_kill(int argc, const char **argv)  in kdb_kill()
2499 static int kdb_summary(int argc, const char **argv)  in kdb_summary()
2541 static int kdb_per_cpu(int argc, const char **argv)  in kdb_per_cpu()
2611 static int kdb_grep_help(int argc, const char **argv)  in kdb_grep_help()