Re: irq fun, reloaded

[Thomas Gleixner]

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 majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/