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 <[email protected]>

Thanks!


Reply via email to