old_value          56 ddb/db_write_cmd.c 	db_expr_t	old_value;
old_value          81 ddb/db_write_cmd.c 	    old_value = db_get_value(addr, size, FALSE);
old_value          83 ddb/db_write_cmd.c 	    db_printf("\t\t%#8n\t=\t%#8n\n", old_value, new_value);