kdbgetu64arg     1928 kernel/debug/kdb/kdb_main.c 	diag = kdbgetu64arg(argv[2], &reg64);
kdbgetu64arg      106 kernel/debug/kdb/kdb_private.h extern int kdbgetu64arg(const char *, u64 *);