Use copy_to_user() for filling user buffer