On Wed, Jun 19, 2024 at 5:45 PM Ilya Leoshkevich <iii@xxxxxxxxxxxxx> wrote: > > uaccess.h uses instrument_get_user() and instrument_put_user(), which > are defined in linux/instrumented.h. Currently we get this header from > somewhere else by accident; prefer to be explicit about it and include > it directly. > > Suggested-by: Alexander Potapenko <glider@xxxxxxxxxx> > Signed-off-by: Ilya Leoshkevich <iii@xxxxxxxxxxxxx> Reviewed-by: Alexander Potapenko <glider@xxxxxxxxxx>