On Sat, 27 Feb 2010, Juli Mallett wrote: > 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. Possibly a db_ptr_t is called for, if we're going to differentiate the two more formally? Robert