void* __kernel_vsyscall 과 void __kernel_vsyscall 의 차이점을 알려주세요

cs010101의 이미지

커널 패치를 하다보니, (여러개를)

원래 커널 소스에는
extern void __kernel_vsyscall;
이렇고요,

패치파일1에서는
extern void __kernel_vsyscall;
을 그래로 유지하고,

패치파일2에서는
extern void* __kernel_vsyscall;
로 변경을 하고 있습니다.

그렇다면 이 둘의 차이점은 무엇이고, 장단점은 무엇인가요?