On Fri, 26 Feb 2021, at 19:26, Philippe Mathieu-Daudé wrote:
> On 2/26/21 7:57 AM, Andrew Jeffery wrote:
> > This appears to be a requirement of the GIC model.
> 
> If so this should be adjusted in the GIC or a15mp_priv_realize(),
> not in each caller, isn't it?
> 

Maybe, let me look into it. I'll clean it up in v2 if it makes sense.

Cheers,

Andrew

Reply via email to