MIPS sign extension of addresses

[Maciej W. Rozycki]

On Tue, 10 Sep 2002, Paul Koning wrote:

> That sounds right.  I looked in the MIPS Inc. reference (MIPS64
> architecture, part 3, privileged architecture,
> MD00091-2B-MIPS64PRA-AFP-00.95.pdf) and it shows exactly the picture
> you describe.  For example, kseg0 starts at 0xffffffff80000000 in 64
> bit addressing.

 The definition of the MIPS address space much predates the MIPS64 ISA --
see the R4000 (the first 64-bit MIPS processor released) manual at the
MIPS site for a reference.

-- 
+  Maciej W. Rozycki, Technical University of Gdansk, Poland   +
+--------------------------------------------------------------+
+        e-mail: macro@ds2.pg.gda.pl, PGP key available        +