Re: latest -git: WARNING: at arch/x86/kernel/ipi.c:123 send_IPI_mask_bitmask+0xc3/0xe0()

H. Peter Anvin
2008-08-24T17:59:45Z

Vegard Nossum wrote:
>
> Okay, now I used cpufreq-selector to change to "ondemand" governor,
> and MHz goes back to 3000. Weird. Why would "performance" governor put
> my machine to a constant 375?
>

That would be a problem... I presume this problem is independent of the
patch, though?

-hpa