On Mon, 27 Mar 2023 14:59:19 +0100, Paolo Bonzini <pbonzini@xxxxxxxxxx> wrote: > > 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. Maybe you could help us here and state what is your schedule when it comes to sending these pull requests? It would certainly help coordinate and avoid wasting 10+ days to get things merged. I appreciate that you don't need nor want to wait for us to send something to Linus, but if we know when the train is departing, we can make sure we're standing on the platform early enough. Thanks, M. -- Without deviation from the norm, progress is not possible.
