34d33
< * $FreeBSD: head/sys/kern/kern_time.c 116123 2003-06-09 21:46:22Z jhb $
36a36,38
> #include <sys/cdefs.h>
> __FBSDID("$FreeBSD: head/sys/kern/kern_time.c 116182 2003-06-11 00:56:59Z obrien $");
>
< * $FreeBSD: head/sys/kern/kern_time.c 116123 2003-06-09 21:46:22Z jhb $
36a36,38
> #include <sys/cdefs.h>
> __FBSDID("$FreeBSD: head/sys/kern/kern_time.c 116182 2003-06-11 00:56:59Z obrien $");
>