Hi, After applying this patch i was able to get the machines booting!
Thank you for your help. Regards, Pedro Caetano On Wed, Jun 24, 2015 at 11:44 PM, Philip Guenther <guent...@gmail.com> wrote: > On Wed, 24 Jun 2015, Pedro Caetano wrote: > > If case gmail wraps the lines output from dmesg and sendbug is attached > > Thanks. I believe the issue is that the ACPI "APIC" table has extra > LAPCI/processor entries which are marked as disabled...and which we let > overwrite the enabled entry for cpu0. > > Can you apply this patch, rebuild, and see if things are happier? > > > Philip Guenther > > > Index: acpimadt.c > =================================================================== > RCS file: /data/src/openbsd/src/sys/dev/acpi/acpimadt.c,v > retrieving revision 1.31 > diff -u -p -r1.31 acpimadt.c > --- acpimadt.c 9 Feb 2015 08:15:19 -0000 1.31 > +++ acpimadt.c 24 Jun 2015 22:33:04 -0000 > @@ -239,13 +239,13 @@ acpimadt_attach(struct device *parent, s > entry->madt_lapic.apic_id, > entry->madt_lapic.flags); > > + if ((entry->madt_lapic.flags & ACPI_PROC_ENABLE) > == 0) > + break; > + > lapic_map[entry->madt_lapic.acpi_proc_id] = > entry->madt_lapic.apic_id; > acpi_lapic_flags[entry->madt_lapic.acpi_proc_id] = > entry->madt_lapic.flags; > - > - if ((entry->madt_lapic.flags & ACPI_PROC_ENABLE) > == 0) > - break; > > memset(&caa, 0, sizeof(struct cpu_attach_args)); > if (lapic_cpu_number() == > entry->madt_lapic.apic_id) >