On 6/20/22 10:42, Warner Losh wrote:
+ /* + * XXX arg4 should be locked, but it isn't clear how to do that + * since it's it may be not be a NULL-terminated string.
it's it. Unless you meant https://www.itsiticecream.com/ ;-) Reviewed-by: Richard Henderson <richard.hender...@linaro.org> r~