Messages in this thread | | | Date | Mon, 13 May 2013 11:25:17 +0200 (CEST) | From | Thomas Gleixner <> | Subject | Re: irq fun, reloaded |
| |
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
| |