Searched refs:devnr (Results 1 - 4 of 4) sorted by relevance
| /barrelfish-master/usr/arrakismon/ |
| H A D | pci.c | 141 int pci_attach_device(struct pci *pci, uint8_t busnr, uint8_t devnr, argument
150 if(bus->device[devnr] != NULL) {
154 bus->device[devnr] = device;
|
| H A D | pci.h | 63 int pci_attach_device(struct pci *pci, uint8_t busnr, uint8_t devnr,
|
| /barrelfish-master/usr/vmkitmon/ |
| H A D | pci.c | 145 int pci_attach_device(struct pci *pci, uint8_t busnr, uint8_t devnr, argument
154 if(bus->device[devnr] != NULL) {
158 bus->device[devnr] = device;
|
| H A D | pci.h | 83 int pci_attach_device(struct pci *pci, uint8_t busnr, uint8_t devnr,
|
Completed in 71 milliseconds