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 <kees@xxxxxxxxxx> 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 <kees@xxxxxxxxxx> Thanks!
|