diff options
| -rw-r--r-- | src/device/pci_device.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/device/pci_device.c b/src/device/pci_device.c index 52107f2fd3..70af9c558a 100644 --- a/src/device/pci_device.c +++ b/src/device/pci_device.c @@ -409,8 +409,8 @@ static void configure_adjustable_base(const struct device *dev, int max_requested_bits = __fls64(size_mask); if (max_requested_bits > CONFIG_PCIEXP_DEFAULT_MAX_RESIZABLE_BAR_BITS) { printk(BIOS_WARNING, "WARNING: Device %s requests a BAR with" - "%u bits of address space, which coreboot is not" - "configured to hand out, truncating to %u bits\n", + " %u bits of address space, which coreboot is not" + " configured to hand out, truncating to %u bits\n", dev_path(dev), max_requested_bits, CONFIG_PCIEXP_DEFAULT_MAX_RESIZABLE_BAR_BITS); max_requested_bits = CONFIG_PCIEXP_DEFAULT_MAX_RESIZABLE_BAR_BITS; @@ -418,8 +418,8 @@ static void configure_adjustable_base(const struct device *dev, if (!(res->flags & IORESOURCE_PCI64) && max_requested_bits > 32) { printk(BIOS_ERR, "ERROR: Resizable BAR requested" - "above 32 bits, but PCI function reported a" - "32-bit BAR."); + " above 32 bits, but PCI function reported a" + " 32-bit BAR."); return; } |