-int in6_gif_input __P((struct mbuf **, int *, int));
-int in6_gif_output __P((struct ifnet *, int, struct mbuf *, struct rtentry *));
-#if defined(__FreeBSD__) && __FreeBSD__ < 3 || !defined(__APPLE__)
-int in6_gif_ioctl __P((struct ifnet *, int, caddr_t));
-#else
-int in6_gif_ioctl __P((struct ifnet *, u_long, caddr_t));
-#endif
+int in6_gif_input(struct mbuf **, int *, int);
+int in6_gif_output(struct ifnet *, int, struct mbuf *, struct rtentry *);
+int gif_encapcheck6(const struct mbuf *, int, int, void *);
+#endif /* BSD_KERNEL_PRIVATE */