Re: irqchip/irq-gic: BAD_MADT_GICC_ENTRY may fail when booting with ACPI 5.1

2017-05-25 Thread Lorenzo Pieralisi
On Wed, May 24, 2017 at 02:00:02PM +0100, Marc Zyngier wrote: > On 24/05/17 12:18, Julien Grall wrote: > > Hi Lorenzo, > > > > On 05/23/2017 06:06 PM, Lorenzo Pieralisi wrote: > >> [+Al] > >> > >> On Tue, May 23, 2017 at 05:40:28PM +0100, Julien Grall wrote: > >>> Hi all, > >>> > >>> I am currentl

Re: irqchip/irq-gic: BAD_MADT_GICC_ENTRY may fail when booting with ACPI 5.1

2017-05-24 Thread Marc Zyngier
On 24/05/17 12:18, Julien Grall wrote: > Hi Lorenzo, > > On 05/23/2017 06:06 PM, Lorenzo Pieralisi wrote: >> [+Al] >> >> On Tue, May 23, 2017 at 05:40:28PM +0100, Julien Grall wrote: >>> Hi all, >>> >>> I am currently looking at adding support of ACPI 5.1 in Xen. >>> When trying to boot DOM00 I ge

Re: irqchip/irq-gic: BAD_MADT_GICC_ENTRY may fail when booting with ACPI 5.1

2017-05-24 Thread Julien Grall
Hi Lorenzo, On 05/23/2017 06:06 PM, Lorenzo Pieralisi wrote: [+Al] On Tue, May 23, 2017 at 05:40:28PM +0100, Julien Grall wrote: Hi all, I am currently looking at adding support of ACPI 5.1 in Xen. When trying to boot DOM00 I get a panic in Linux (for the full log see [1]): (XEN) DOM0: [

Re: irqchip/irq-gic: BAD_MADT_GICC_ENTRY may fail when booting with ACPI 5.1

2017-05-23 Thread Lorenzo Pieralisi
[+Al] On Tue, May 23, 2017 at 05:40:28PM +0100, Julien Grall wrote: > Hi all, > > I am currently looking at adding support of ACPI 5.1 in Xen. > When trying to boot DOM00 I get a panic in Linux (for the full > log see [1]): > > (XEN) DOM0: [0.00] No valid GICC entries exist > > The erro

irqchip/irq-gic: BAD_MADT_GICC_ENTRY may fail when booting with ACPI 5.1

2017-05-23 Thread Julien Grall
Hi all, I am currently looking at adding support of ACPI 5.1 in Xen. When trying to boot DOM00 I get a panic in Linux (for the full log see [1]): (XEN) DOM0: [0.00] No valid GICC entries exist The error message is coming from gic_v2_acpi_init. Digging down in the code, it is failing beca