On Mon, 12 Apr 1999, Michael L. Hitch wrote: > > minaddr is 0xffffffff (doesn't matter) > ^^^^^^^^^^^^^^^^ I looked at the uvm code, and it seems to get filled in (but the value is never checked?). I know little about this so I'll look again tonight. Andy.