27,28d26
< *
< * $FreeBSD: head/sys/i386/linux/linux_machdep.c 113689 2003-04-18 20:54:41Z jhb $
30a29,31
> #include <sys/cdefs.h>
> __FBSDID("$FreeBSD: head/sys/i386/linux/linux_machdep.c 115705 2003-06-02 16:56:40Z obrien $");
>
< *
< * $FreeBSD: head/sys/i386/linux/linux_machdep.c 113689 2003-04-18 20:54:41Z jhb $
30a29,31
> #include <sys/cdefs.h>
> __FBSDID("$FreeBSD: head/sys/i386/linux/linux_machdep.c 115705 2003-06-02 16:56:40Z obrien $");
>