커널영역과 유저영역 사이의 메모리 카피에 대해서

일반적으로 device driver를 만들다보면
kernel영역과 user영역간에 메모리 카피를 위해서
copy_to_user이나 copy_from_user, put_user, get_user 등의 명령을 사용합니다.

그런데 만약 rtlinux용으로 device driver를 만든다면
device driver를 사용하는 프로그램도 결국 module로 만들어진 rt task이므로
kernel 영역에서 동작할 것이고..
그럴 경우 device driver에서는
copy_to_user 등의 명령 대신에 그냥 memcpy를 사용해도 되는건가요?

아니면 일반적으로 알려진 rt_fifo나 mbuff shared memory를 사용해서
가져와야 하는건가요?
알려주시면 정말 감사하겠습니다 ^^