Symbol: db_numargs
sys/arch/x86/include/db_machdep.h
37
int db_numargs(long *);
sys/arch/x86/x86/db_trace.c
235
narg = db_numargs(frame);