add: }
context: init_hardware(void) {	long		pci_index = 0;	pci_info	pcii;	bool		found_one = FALSE;		/* choke if we can't find the PCI bus */	if (get_module(B_PCI_MODULE_NAME, (module_info **)&pci_bus) != B_OK)		return B_ERROR;	/* choke if we can't find the ISA bus */	if (get_module(B_ISA_MODULE_NAME, (module_info **)&isa_bus) != B_OK)		return B_ERROR;	/* while there are more pci devices */	while ((*pci_bus->get_nth_pci_info)(pci_index, &pcii) == B_NO_ERROR) {		int vendor = 0;				/* if we match a supported vendor */		while (SupportedDevices[vendor].vendor) {			if (SupportedDevices[vendor].vendor == pcii.vendor_id) {				uint16 *devices = SupportedDevices[vendor].devices;				/* while there are more supported devices */				while (*devices) {					/* if we match a supported device */					if (*devices == pcii.device_id ) {												found_one = TRUE;						goto done;					}					/* next supported device */					devices++;				}			}			vendor++;		}		/* next pci_info struct, please */		pci_index++;	}done:	/* put away the module managers */	put_module(B_PCI_MODULE_NAME);	put_module(B_ISA_MODULE_NAME);	return (found_one ? B_OK : B_ERROR);}