31,32d30
< *
< * $FreeBSD: head/sys/kern/p1003_1b.c 108896 2003-01-07 20:10:04Z alfred $
37a36,38
> #include <sys/cdefs.h>
> __FBSDID("$FreeBSD: head/sys/kern/p1003_1b.c 116192 2003-06-11 06:34:30Z obrien $");
>
< *
< * $FreeBSD: head/sys/kern/p1003_1b.c 108896 2003-01-07 20:10:04Z alfred $
37a36,38
> #include <sys/cdefs.h>
> __FBSDID("$FreeBSD: head/sys/kern/p1003_1b.c 116192 2003-06-11 06:34:30Z obrien $");
>