Lines Matching refs:device

38 #define SDHCI_PCI_MMC_BUS_MODULE_NAME "busses/mmc/sdhci/pci/device/v1"
40 #define SLOT_NUMBER "device/slot"
41 #define BAR_INDEX "device/bar"
48 // Get the PCI driver and device
50 pci_device* device;
55 (void**)&device);
68 pci->get_pci_info(device, &pciInfo);
91 uint16 pcicmd = pci->read_pci_config(device, PCI_command, 2);
94 pci->write_pci_config(device, PCI_command, 2, pcicmd);
143 pci_device* device;
146 (void**)&device);
147 uint8 slotsInfo = pci->read_pci_config(device, SDHCI_PCI_SLOT_INFO, 1);
179 // private data to identify device
196 // Get the PCI driver and device
198 pci_device* device;
203 (void**)&device);
210 panic("No vendor or device id attribute\n");
215 // Switch the device to SD2.0 mode
216 // This should change its device id to 0xe822 if succesful.
217 // The device then remains in SD2.0 mode even after reboot.
218 pci->write_pci_config(device, SDHCI_PCI_RICOH_MODE_KEY, 1, 0xfc);
219 context->fRicohOriginalMode = pci->read_pci_config(device,
221 pci->write_pci_config(device, SDHCI_PCI_RICOH_MODE, 1,
223 pci->write_pci_config(device, SDHCI_PCI_RICOH_MODE_KEY, 1, 0);
225 deviceId = pci->read_pci_config(device, 2, 2);
235 // Get the PCI driver and device
237 pci_device* device;
241 (void**)&device);
247 ERROR("No vendor or device id attribute\n");
249 pci->write_pci_config(device, SDHCI_PCI_RICOH_MODE_KEY, 1, 0xfc);
250 pci->write_pci_config(device, SDHCI_PCI_RICOH_MODE, 1,
252 pci->write_pci_config(device, SDHCI_PCI_RICOH_MODE_KEY, 1, 0);
266 TRACE("No vendor or device id attribute\n");
286 TRACE("Not the right subclass, and not a Ricoh device\n");
292 pci_device* device;
294 (void**)&device);