> On 13 Jul 2025, at 12:28, Daniel Almeida <daniel.almeida@xxxxxxxxxxxxx> wrote: > > > >> >> (2) Owning a reference count of a device (i.e. ARef<Device>) does *not* >> guarantee that the device is bound. You can own a reference count to the >> device object way beyond it being bound. Instead, the guarantee comes from >> the scope. >> >> In this case, the scope is the IRQ callback, since the irq::Registration >> guarantees to call and complete free_irq() before the underlying bus >> device is unbound. >> > > > Oh, I see. I guess this is where I started to get a bit confused indeed. > > — Daniel Fine, I guess I can submit a newer version and test that on Tyr. Dirk, can you also test the next iteration on your driver? It will possibly solve your use case as well. — Daniel
