On Fri, Jul 4, 2025 at 12:24 PM K R <[email protected]> wrote: > > On Wed, Jul 2, 2025 at 5:15 AM Claudio Jeker <[email protected]> wrote: [snip] > > Just to mention it publicly, this diff is not correct since the > > pmap_tlb_shootwait() is required to ensure that all the TLBs are updated > > to RO before installing the RW mapping by PTE_BASE[pl1_i(va)] = npte; > > > > A few people looked at this and the general consensus is that it should be > > save (the mutex held should not disrupt the delivery of IPIs). > > > > The value of tlb_shoot_wait that you reported is 1 which indicates that > > one CPU did not respond to the IPI. Why? No idea. > > Claudio and Martin: is there anything else I can help you with? If > you need additional ddb commands, debug kernel options, diffs to try, > etc, please let me know.
I've managed to reproduce the same problem building lang/rust -- the same others are doing here on bugs@, on another thread. But in that case the tests are on a arm64 machine, here is amd64. I'll post my ddb results there, I hope it helps. --Kor > > Best, > --Kor > > > > > -- > > :wq Claudio
