[XS] Change in coreboot[main]: acpi/acpigen_pci_root_resource_producer: zero-pad ranges

[Felix Held (Code Review)]

Felix Held has uploaded this change for review. ( https://review.coreboot.org/c/coreboot/+/80804?usp=email )

Change subject: acpi/acpigen_pci_root_resource_producer: zero-pad ranges
......................................................................

acpi/acpigen_pci_root_resource_producer: zero-pad ranges

Print bus number, IO and MMIO ranges as fixed length zero-padded
hexadecimal numbers. The bus numbers are 1 byte long, the IO range
values are 2 bytes long and the MMIO range values can be up to 8 bytes
long, so use '%02x', '%04llx' and '%016llx' in the corresponding parts
of the format string.

Signed-off-by: Felix Held 
Suggested-by: Patrick Rudolph 
Change-Id: Iea45094a3988d57f8640a98fd7214d33ed1d7ccb
---
M src/acpi/acpigen_pci_root_resource_producer.c
1 file changed, 3 insertions(+), 3 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/04/80804/1

diff --git a/src/acpi/acpigen_pci_root_resource_producer.c b/src/acpi/acpigen_pci_root_resource_producer.c
index c9efe0e..78e1a89 100644
--- a/src/acpi/acpigen_pci_root_resource_producer.c
+++ b/src/acpi/acpigen_pci_root_resource_producer.c
@@ -11,7 +11,7 @@
 static void write_ssdt_domain_io_producer_range_helper(const char *domain_name,
    					       resource_t base, resource_t limit)
 {
-	printk(BIOS_DEBUG, "%s _CRS: adding IO range [%llx-%llx]\n", domain_name, base, limit);
+	printk(BIOS_DEBUG, "%s _CRS: adding IO range [%04llx-%04llx]\n", domain_name, base, limit);
    acpigen_resource_producer_io(base, limit);
 }

@@ -38,7 +38,7 @@
 static void write_ssdt_domain_mmio_producer_range(const char *domain_name,
    					  resource_t base, resource_t limit)
 {
-	printk(BIOS_DEBUG, "%s _CRS: adding MMIO range [%llx-%llx]\n",
+	printk(BIOS_DEBUG, "%s _CRS: adding MMIO range [%016llx-%016llx]\n",
           domain_name, base, limit);
    acpigen_resource_producer_mmio(base, limit,
    	MEM_RSRC_FLAG_MEM_READ_WRITE | MEM_RSRC_FLAG_MEM_ATTR_NON_CACHE);
@@ -54,7 +54,7 @@
    acpigen_write_resourcetemplate_header();

/* PCI bus number range in domain */
-	printk(BIOS_DEBUG, "%s _CRS: adding busses [%x-%x] in segment group %x\n",
+	printk(BIOS_DEBUG, "%s _CRS: adding busses [%02x-%02x] in segment group %x\n",
           acpi_device_name(domain), domain->downstream->secondary,
           domain->downstream->max_subordinate, domain->downstream->segment_group);
    acpigen_resource_producer_bus_number(domain->downstream->secondary,