diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/devices/pci_device.c | 1 | ||||
| -rw-r--r-- | src/include/device/device.h | 3 |
2 files changed, 3 insertions, 1 deletions
diff --git a/src/devices/pci_device.c b/src/devices/pci_device.c index aeb03c7eee..b5088c1080 100644 --- a/src/devices/pci_device.c +++ b/src/devices/pci_device.c @@ -652,7 +652,6 @@ void pci_dev_set_subsystem(struct device *dev, unsigned vendor, unsigned device) void pci_dev_init(struct device *dev) { #if CONFIG_PCI_ROM_RUN == 1 || CONFIG_VGA_ROM_RUN == 1 - void run_bios(struct device *dev, unsigned long addr); struct rom_header *rom, *ram; if (CONFIG_PCI_ROM_RUN != 1 && /* Only execute VGA ROMs. */ diff --git a/src/include/device/device.h b/src/include/device/device.h index d0cc370980..df8fb5f6d5 100644 --- a/src/include/device/device.h +++ b/src/include/device/device.h @@ -117,6 +117,9 @@ const char *bus_path(struct bus *bus); void dev_set_enabled(device_t dev, int enable); void disable_children(struct bus *bus); +/* Option ROM helper functions */ +void run_bios(struct device *dev, unsigned long addr); + /* Helper functions */ device_t find_dev_path(struct bus *parent, struct device_path *path); device_t alloc_find_dev(struct bus *parent, struct device_path *path); |