c casting pointers void

When is casting void pointer needed in C?

I’ve been looking at Advanced Linux Programming by Mitchell, Oldham and Samuel. I’ve seen in the section on pthreads something about void pointers and casting that confuses me.

Passing an argument to pthread_create(), they don’t cast the pointer to a void pointer even though that is what the function expects.

pthread_create( &thread, NULL, &compute_prime, &which_prime );

Here, which_prime is of type int.

But taking a value returned from the thread using pthread_join, they DO cast the variable to void pointer.

pthread_join( thread, (void*) &prime );

Here, prime is of type int again.

Why is casting done in the second instance and not in the first?