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