Please try this patch: Index: acpi_cpu.c =================================================================== --- acpi_cpu.c (revision 207322) +++ acpi_cpu.c (working copy) @@ -997,12 +997,12 @@ if (notify != ACPI_NOTIFY_CX_STATES) return; + ACPI_SERIAL_BEGIN(cpu); /* Update the list of Cx states. */ acpi_cpu_cx_cst(sc); acpi_cpu_cx_list(sc); /* Update the new lowest useable Cx state for all CPUs. */ - ACPI_SERIAL_BEGIN(cpu); cpu_cx_count = 0; for (i = 0; i < cpu_ndevices; i++) { isc = device_get_softc(cpu_devices[i]);
Regards, -- Rui Paulo _______________________________________________ freebsd-acpi@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-acpi To unsubscribe, send any mail to "freebsd-acpi-unsubscr...@freebsd.org"