Boris,
On Sun, 12 May 2013, Borislav Petkov wrote:
> Hi Thomas,
>
> you're gonna love this:
definitely!
> This is 3.10-rc1 with "acpi_osi=Linux" on the command line. If I get
> bored, I could try to update the BIOS but who knows what else could
> break...
Well, I don't think it will be worse than it is already ....
> [ 8546.455856] [<ffffffff810b469d>] __report_bad_irq+0x3d/0xe0
> [ 8546.613327] handlers:
> [ 8546.617580] [<ffffffff814aa090>] azx_interrupt
> [ 8546.624012] Disabling IRQ #16
No idea what to do about that :(
Thanks,
tglx
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to [email protected]
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
