The range of valid IROUTER are n = 32 - 1019 (see 8.9.13 in IHI 0069A)
which correspond to the offset 0x6100-0x7FD8.
Other offset are invalid and therefore should not be emulated.
Also remove the now unused label read_as_zero_64 and write_ignore_64.
Note that GICD_IROUTER is kept to accomadate t
On Wed, 2015-11-18 at 17:27 +, Julien Grall wrote:
Subject: ... which do not exist in the ...
> The range of valid IROUTER are n = 32 - 1019 (see 8.9.13 in IHI 0069A)
> which correspond to the offset 0x6100-0x7FD8.
>
> Other offset are invalid and therefore should not be emulated.
"offsets"
Hi Ian,
On 24/11/15 17:17, Ian Campbell wrote:
> On Wed, 2015-11-18 at 17:27 +, Julien Grall wrote:
>
> Subject: ... which do not exist in the ...
>
>> The range of valid IROUTER are n = 32 - 1019 (see 8.9.13 in IHI 0069A)
>> which correspond to the offset 0x6100-0x7FD8.
>>
>> Other offset a