On Wed, May 05, 2010 at 12:45:46PM +0100, Rui Paulo wrote:
> 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]);
> 
Tested, but exactly same panic an backtrace.

Cheers.

-- 
Demelier David
_______________________________________________
freebsd-stable@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-stable
To unsubscribe, send any mail to "freebsd-stable-unsubscr...@freebsd.org"

Reply via email to