This redistributor may be in a power-domain that is off. Are you>>Also, the spec says:>
>>
>>"On systems supporting GICv3 and above, this field holds the 64-bit
>>physical address of the associated Redistributor. If all of the GIC
>>Redistributors are in the always-on power domain, GICR structures should
>>be used to describe the Redistributors instead, and this field must be
>>set to 0."
>>
>>which triggers two questions:
>>- Can you access always the GICR_TYPER register without waking the
>>redistributor up?
>I missed this part, can you suggest how can we do that? accessing some
>register before access to redistributor?
guaranteed that you can access GICR_TYPER even when it is off?
>It is something that should definitely be clarified. Can we end-up in a
>>- How do you cope with situations where some redistributors are in the>
>>always-on domain, and some are not?
>I'm not sure if there is such hardware, if yes, do we need to fix
>the spec first?
situation where some redistributors are described via the GICR
structure, and some via the GICC structure? The spec is a bit ambiguous.