On Sun, May 31, 2020 at 12:16 PM, Oded Gabbay <[email protected]> wrote: > Use the u64_to_user_ptr(x) kernel macro to correctly cast u64 to void* > > Reported-by: kbuild test robot <[email protected]> > Signed-off-by: Oded Gabbay <[email protected]>
Reviewed-by: Omer Shpigelman <[email protected]>
