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