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
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
|