diff options
| -rw-r--r-- | src/device/pci_device.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/device/pci_device.c b/src/device/pci_device.c index a7eb91d42d..f41689e24a 100644 --- a/src/device/pci_device.c +++ b/src/device/pci_device.c @@ -967,7 +967,7 @@ static void set_pci_ops(struct device *dev) dev->ops = &default_cardbus_ops_bus; break; #endif -default: + default: bad: if (dev->enabled) { printk(BIOS_ERR, "%s [%04x/%04x/%06x] has unknown " |