79 	uint32_t	model;  member
253 	uint32_t model;  in sdhci_pci_probe()  local
258 	model = (uint32_t)pci_get_device(dev) << 16;  in sdhci_pci_probe()
259 	model |= (uint32_t)pci_get_vendor(dev) & 0x0000ffff;  in sdhci_pci_probe()
265 	for (i = 0; sdhci_devices[i].model != 0; i++) {  in sdhci_pci_probe()
266 		if (sdhci_devices[i].model == model &&  in sdhci_pci_probe()
287 	uint32_t model;  in sdhci_pci_attach()  local
291 	model = (uint32_t)pci_get_device(dev) << 16;  in sdhci_pci_attach()
292 	model |= (uint32_t)pci_get_vendor(dev) & 0x0000ffff;  in sdhci_pci_attach()
295 	for (i = 0; sdhci_devices[i].model != 0; i++) {  in sdhci_pci_attach()
296 		if (sdhci_devices[i].model == model &&  in sdhci_pci_attach()