[parisc-linux] depi?

[Philipp Rumpf]

> I must be missing something...the above should branch
> to: sr7.0xc008dbc0, not to "0xc008dbc0".  I.e., you specified SR7
> in the BE instruction, so it gets used.  

No, we didn't.  We set the space register selection field to '00' which
according to the documentation means you select SR7 but in reality means
you don't want to have anything to do with space registers.  Just think
of it as flat address 0xc008dbc0 and of SR[123]:0xc008dbc0 as "real"
segmented addresses.

> So, SR7 indeed needs to be set correctly...but since I haven't
> looked at the surrounding code...

SR0, SR4, SR5, SR6, SR7 shouldn't ever need to be set to different values
for flat 4 gig code.  SR1, SR2, SR3 you use only for "real" segmented code.

(This is based on what the C compiler does, and what changed with PA2.0)
	
	Philipp Rumpf