Mark Abene <phiber@radicalmedia.com> wrote;

> I assumed the physical i/o space at 0x80000000 was mapped on a one-to-one
> basis to the virtual 0xe0000000 i/o space.  If that's the case, the interrupt
> source register is at 0xe0040000, not 0xe0010000.  Both ARC and RISC/OS prove
> this to be the case.
>
> -Mark

There is no one-to-one relationship between 0x8000.0000 (KSEG0) and
0xe000.0000.  Objects found around address range 0xe000.0000-
(sometimes called KSEG3) is prepared by "TLB hardwiring".  This
technique is mandatory when hardware registers are populated beyond
physical address 512MB which KSEG0/KSEG1 space can not access. 

KSEG3 hardwiring arrangement depends on target hardware layout.

Tohru Nishimura