24,25d23
< *
< * $FreeBSD: head/sys/kern/kern_mtxpool.c 93818 2002-04-04 21:03:38Z jhb $
27a26,28
> #include <sys/cdefs.h>
> __FBSDID("$FreeBSD: head/sys/kern/kern_mtxpool.c 116182 2003-06-11 00:56:59Z obrien $");
>
< *
< * $FreeBSD: head/sys/kern/kern_mtxpool.c 93818 2002-04-04 21:03:38Z jhb $
27a26,28
> #include <sys/cdefs.h>
> __FBSDID("$FreeBSD: head/sys/kern/kern_mtxpool.c 116182 2003-06-11 00:56:59Z obrien $");
>