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