30d29
< * $FreeBSD: head/sys/kern/subr_turnstile.c 115568 2003-05-31 21:11:01Z phk $
36a36,38
> #include <sys/cdefs.h>
> __FBSDID("$FreeBSD: head/sys/kern/subr_turnstile.c 116182 2003-06-11 00:56:59Z obrien $");
>
< * $FreeBSD: head/sys/kern/subr_turnstile.c 115568 2003-05-31 21:11:01Z phk $
36a36,38
> #include <sys/cdefs.h>
> __FBSDID("$FreeBSD: head/sys/kern/subr_turnstile.c 116182 2003-06-11 00:56:59Z obrien $");
>