diff options
Diffstat (limited to 'src/device/pci_device.c')
| -rw-r--r-- | src/device/pci_device.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/device/pci_device.c b/src/device/pci_device.c index 4e51de0713..2233ddca67 100644 --- a/src/device/pci_device.c +++ b/src/device/pci_device.c @@ -693,6 +693,11 @@ void pci_dev_enable_resources(struct device *dev) pci_write_config16(dev, PCI_COMMAND, command); } +void __noreturn pcidev_die(void) +{ + die("PCI: dev is NULL!\n"); +} + void pci_bus_enable_resources(struct device *dev) { u16 ctrl; |