Hi,
On 21/01/15 13:19, Julien Grall wrote:
> If you give a look to the redistributor iniatialization (see Xen and
> Linux GICv3 code). The code will go through all the redistributors and
> check GICR_TYPER to see if the processor is associated to this
> redistributor.
>
> I
On 21/01/15 12:48, Ian Campbell wrote:
> On Wed, 2015-01-21 at 12:33 +, Julien Grall wrote:
>> On 21/01/15 12:16, Ian Campbell wrote:
>>> On Tue, 2015-01-20 at 17:49 +, Julien Grall wrote:
>>>
>> - A processor can only access his own redistributor. For buggy
>> assumption, t
On Wed, 2015-01-21 at 12:33 +, Julien Grall wrote:
> On 21/01/15 12:16, Ian Campbell wrote:
> > On Tue, 2015-01-20 at 17:49 +, Julien Grall wrote:
> >
> - A processor can only access his own redistributor. For buggy
> assumption, the current code bank the redistributors M
On 21/01/15 12:16, Ian Campbell wrote:
> On Tue, 2015-01-20 at 17:49 +, Julien Grall wrote:
>
- A processor can only access his own redistributor. For buggy
assumption, the current code bank the redistributors MMIO.
>>>
>>> What assumption? It's not clear if you mean that a f
On Tue, 2015-01-20 at 17:49 +, Julien Grall wrote:
> >> - A processor can only access his own redistributor. For buggy
> >> assumption, the current code bank the redistributors MMIO.
> >
> > What assumption? It's not clear if you mean that a foreign redistributor
> > should not be acc
Hi Ian,
On 20/01/15 16:00, Ian Campbell wrote:
> On Mon, 2015-01-19 at 16:29 +, Julien Grall wrote:
>> The current vGIC v3 driver doesn't fully implement GICv3 spec:
>> - GICv3 backward compatibility is not supported (GICD_CTLR.ARE = 0)
>
> I think you meant GICv2 here as you did in the c
On Mon, 2015-01-19 at 16:29 +, Julien Grall wrote:
> The current vGIC v3 driver doesn't fully implement GICv3 spec:
> - GICv3 backward compatibility is not supported (GICD_CTLR.ARE = 0)
I think you meant GICv2 here as you did in the code.
In which case I believe this is optional in the sp
The current vGIC v3 driver doesn't fully implement GICv3 spec:
- GICv3 backward compatibility is not supported (GICD_CTLR.ARE = 0)
- A processor can only access his own redistributor. For buggy
assumption, the current code bank the redistributors MMIO.
Signed-off-by: Julien Grall
---
