43,44d42
< *
< * $FreeBSD: head/sys/kern/subr_clock.c 110299 2003-02-03 19:49:35Z phk $
60a59,62
>
> #include <sys/cdefs.h>
> __FBSDID("$FreeBSD: head/sys/kern/subr_clock.c 116182 2003-06-11 00:56:59Z obrien $");
>
< *
< * $FreeBSD: head/sys/kern/subr_clock.c 110299 2003-02-03 19:49:35Z phk $
60a59,62
>
> #include <sys/cdefs.h>
> __FBSDID("$FreeBSD: head/sys/kern/subr_clock.c 116182 2003-06-11 00:56:59Z obrien $");
>