db_vmem_print_cmd
static void db_vmem_print_cmd(db_expr_t, bool, db_expr_t, const char *);
{ DDB_ADD_CMD("vmem", db_vmem_print_cmd, 0,