db_uvmexp_print_cmd  438 ddb/db_command.c 	{ "uvmexp",	db_uvmexp_print_cmd,	0,	NULL },
db_uvmexp_print_cmd   50 ddb/db_command.h void db_uvmexp_print_cmd(db_expr_t, int, db_expr_t, char *);