On 10/12/2021 18:13, Robin Murphy wrote:
possible for the timeout to expire just*before* the del_timer() callsuper nit: "just*before* the" - needs a whitespace before "before" :)Weird... the original patch file here and the copy received by lore via linux-iommu look fine, gremlins in your MUA or delivery path perhaps?
Right, apologies for that. I did receive it ok, but my replying seemed to mangle it. Not sure why..
Thanks, John