On 3/27/23 13:39, Marc Zyngier wrote:
Paolo, Pinging this PR in case you missed it, the issues around host page table walks are particularly urgent as the race on host page table teardown has been reproduced on some setups.If we don't hear from Paolo shortly, I suggest we route this via the arm64 tree.
It missed the pull request I sent on March 17th by a few hours. I have queued it now and will send it to Linus later today.
Paolo