61c61
< __FBSDID("$FreeBSD: head/sys/dev/puc/puc_pci.c 102734 2002-08-31 20:29:46Z phk $");
---
> __FBSDID("$FreeBSD: head/sys/dev/puc/puc_pci.c 102751 2002-09-01 01:59:38Z jmallett $");
62a63,64
> #include "opt_puc.h"
>
80,81d81
< #include <opt_puc.h>
<