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