pc_device          72 sys/pciio.h    	u_int16_t	pc_device;	/* chip device ID, assigned by 
pc_device          87 sys/pciio.h    	u_int16_t		pc_device;	/* PCI Device ID */