mirror of
https://review.haiku-os.org/haiku
synced 2025-01-20 05:21:28 +01:00
547cd462f8
* And use it in get_trim_data_from_user(), formerly known as copy_*(). * This fixes differentiating between user and kernel buffers.