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!
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!