diff options
Diffstat (limited to 'sys/dev/idt/idt_pci.c')
| -rw-r--r-- | sys/dev/idt/idt_pci.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/sys/dev/idt/idt_pci.c b/sys/dev/idt/idt_pci.c index 69b8e2e..e3bfe79 100644 --- a/sys/dev/idt/idt_pci.c +++ b/sys/dev/idt/idt_pci.c @@ -34,10 +34,11 @@ * some of the original driver still exists here. Those portions are... * Copyright (c) 1996, 1997, 1998, 1999 Mark Tinguely * All rights reserved. - * - * $FreeBSD$ */ +#include <sys/cdefs.h> +__FBSDID("$FreeBSD$"); + #include <sys/param.h> #include <sys/systm.h> #include <sys/kernel.h> |
