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-stable@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-stable
To unsubscribe, send any mail to "freebsd-stable-unsubscribe@freebsd.org"