On 3. Jul 2025, at 23:57, Kees Cook wrote:
> And likely, to use __counted_by(wksp_size)

I hesitated because semantically "size" isn't a "count" although the
values are the same here.

> Reviewed-by: Kees Cook <k...@kernel.org>

Thanks!


Reply via email to