> > 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 -- To unsubscribe from this list: send the line "unsubscribe linux-serial" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
