acpi: bugfix telling SKB the number is in hex
authorReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 16 Dec 2014 09:06:24 +0000 (10:06 +0100)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 16 Dec 2014 09:06:24 +0000 (10:06 +0100)
usr/acpi/acpi_main.c

index 1d0c5b2..8822c09 100644 (file)
@@ -156,7 +156,7 @@ static errval_t init_allocators(void)
     for (int i = 0; i < bootinfo->regions_length; i++) {
                struct mem_region *mrp = &bootinfo->regions[i];
                if (mrp->mr_type == RegionType_Module) {
-                       skb_add_fact("memory_region(%" PRIxGENPADDR ",%u,%zu,%u,%tu).",
+                       skb_add_fact("memory_region(16'%" PRIxGENPADDR ",%u,%zu,%u,%tu).",
                                                mrp->mr_base,
                                                0,
                                                mrp->mrmod_size,
@@ -164,7 +164,7 @@ static errval_t init_allocators(void)
                                                mrp->mrmod_data);
                }
                else {
-                       skb_add_fact("memory_region(%" PRIxGENPADDR ",%u,%zu,%u,%tu).",
+                       skb_add_fact("memory_region(16'%" PRIxGENPADDR ",%u,%zu,%u,%tu).",
                                                mrp->mr_base,
                                                mrp->mr_bits,
                                                ((size_t)1) << mrp->mr_bits,