On 2/23/24 15:45, Sean Christopherson wrote:
And as I recently found out[2], u64_to_user_ptr() exists for this exact reason. I vote to convert to u64_to_user_ptr() as a prep patch, which would make this all quite a bit more readable.
Sounds good. Paolo