K 10
svn:author
V 8
jmallett
K 8
svn:date
V 27
2010-02-27T03:38:38.821733Z
K 7
svn:log
V 298
Make ddb commands take an address as an intptr_t, not a db_expr_t.  It is
possible to have 32-bit pointers and 64-bit registers and thus a 64-bit
db_expr_t.

Likewise make casts between pointers and register_t go through intptr_t to
be sure to sign extend properly, since register_t may be larger.

END