24 Dec
2020
24 Dec
'20
7:16 p.m.
On Thu, Dec 24, 2020 at 01:49:45PM -0500, Andrea Arcangeli wrote:
Without the above, can't the CPU decrement the tlb_flush_pending while the IPI to ack didn't arrive yet in csd_lock_wait?
Ehm: csd_lock_wait has smp_acquire__after_ctrl_dep() so the write side looks ok after all sorry.