Re: [PATCH vfio] vfio/pci: remove msi domain on msi disable
From: Jason Gunthorpe
Date: Mon Sep 18 2023 - 20:32:57 EST
On Tue, Sep 19, 2023 at 02:25:32AM +0200, Thomas Gleixner wrote:
> > I don't think we need to try and fix that..
>
> We might want to detect it and yell about it, right?
It strikes me as a good idea, yes. If it doesn't cost anything.
Jason