Re: [PATCH v2] serial: 8250: fix shared interrupts issues with SMP and RT kernels

Alan Cox
2008-07-09T19:57:22Z

> > But this can't happen here. IRQ will not grab the up->port.lock,
> > because port isn't registered in the 8250 IRQ handling chain (yet).
>
> Alan, are there any issues with the proof or the patch itself?

The logic looks fine, the analysis looks fine.

Alan