Searched refs:pci_reregister_irq_for_device (Results 1 - 4 of 4) sorted by relevance
/barrelfish-2018-10-04/include/pci/ |
H A D | pci.h | 51 errval_t pci_reregister_irq_for_device(uint32_t class, uint32_t subclass, uint32_t prog_if,
|
/barrelfish-2018-10-04/usr/drivers/ahcid/ |
H A D | ahcid.c | 106 err = pci_reregister_irq_for_device(PCI_CLASS_MASS_STORAGE, PCI_SUB_SATA, 111 DEBUG_ERR(err, "pci_reregister_irq_for_device");
|
/barrelfish-2018-10-04/lib/pci/ |
H A D | pci_client.c | 53 errval_t pci_reregister_irq_for_device(uint32_t class, uint32_t subclass, uint32_t prog_if, function
|
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/drivers/net/mlx4/ |
H A D | mlx4_devif_queue.c | 2143 err = pci_reregister_irq_for_device(PCI_CLASS_ETHERNET, 2151 DEBUG_ERR(err, "pci_reregister_irq_for_device");
|
Completed in 234 milliseconds