On Mon, Apr 11, 2016 at 02:33:34PM +0100, Julien Grall wrote: > Since the ACPI 6.0 errata document [1], the first entry in the MADT > does not have to correspond to the boot CPU. > > Introduce a new variable to know if a MADT entry matching the boot CPU > is found. Furthermore, it's not necessary to check if the MPIDR is > duplicated for the boot CPU. So the rest of the function can be skipped. > > [1] 1380 Unnecessary restrictions to FW vendors in ordering of GIC structures > in MADT > > Signed-off-by: Julien Grall <julien.gr...@arm.com>
Applied. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
