__ib_copy_path_rec_to_user
__ib_copy_path_rec_to_user(dst, &rec);
__ib_copy_path_rec_to_user(dst, src);