uvmexp_print      410 ddb/db_command.c 	uvmexp_print(db_printf);
uvmexp_print       50 uvm/uvm_ddb.h  void	uvmexp_print(int (*)(const char *, ...));