On Fri, Sep 18, 2020 at 12:01:12PM +0200, pet...@infradead.org wrote:
> +     u64 sum = per_cpu_sum(*(u64 *)sem->read_count);

Moo, that doesn't work, we have to do two separate sums. I shouldn't try
to be clever on a Friday I suppose :-(

Reply via email to